Credit MR reviewer

2020-09-08 18:04:07 +02:00 · 2020-09-08 18:04:07 +02:00 · 63f107c62e
parent faeb43ba5a
commit 63f107c62e
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -138,7 +138,7 @@ Working version
 ### Standard library:

 - #9865: add Format.pp_print_seq
-  (Raphaël Proust)
+  (Raphaël Proust, review by Nicolás Ojeda Bär)

 - #9781: add injectivity annotations to parameterized abstract types
  (Jeremy Yallop, review by Nicolás Ojeda Bär)