Update Changes file: GRP# and reviewers

master
Vladimir Keleshev 2018-08-02 12:39:56 +02:00 committed by GitHub
parent ee1ec3eb4b
commit aba2c0669f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -60,8 +60,8 @@ Working version
-keyword=arg inputs
(Valentin Gatien-Baron, review by Gabriel Scherer)
- GPR#XXXX: Add Stack.{top_opt,pop_opt} and Queue.{peek_opt,take_opt}.
(Vladimir Keleshev, review by _)
- GPR#1957: Add Stack.{top_opt,pop_opt} and Queue.{peek_opt,take_opt}.
(Vladimir Keleshev, review by Nicolás Ojeda Bär and Gabriel Scherer)
### Other libraries: