Changes: fix typos, add reviewer

master
Nicolás Ojeda Bär 2018-01-04 15:26:01 +01:00
parent 77d7540b05
commit 2495781bfd
1 changed files with 2 additions and 2 deletions

View File

@ -190,7 +190,7 @@ Working version
(Alain Frisch, report by Stéphane Graham-Lengrand, review by Gabriel Scherer)
- MPR#7695, GPR#1541: Fatal error: exception Ctype.Unify(_) with field override
(Jacques Garrigue, report by Nicolas Ojeda Bar)
(Jacques Garrigue, report by Nicolás Ojeda Bär)
- GPR#1517: More robust handling of type variables in mcomp
(Leo White and Thomas Refis, review by Jacques Garrigue)
@ -205,7 +205,7 @@ Working version
(Thomas Refis, with help from Gabriel Scherer and Luc Maranget)
- MPR#7705, GPR#1558: add missing bounds check in Bigarray.Genarray.nth_dim.
(Nicolás Ojeda Bär, report by Jeremy Yallop)
(Nicolás Ojeda Bär, report by Jeremy Yallop, review by Gabriel Scherer)
4.06 maintenance branch
-----------------------