This commit is contained in:
Hannes Mehnert 2017-07-10 11:02:56 +01:00
parent 9295488205
commit 937eee7e4d

View file

@ -322,4 +322,4 @@ grammatical corrections).
I'm very thankful to people who gave feedback on earlier versions of this I'm very thankful to people who gave feedback on earlier versions of this
article, and who discussed the system design with me. These are Addie, Chris, article, and who discussed the system design with me. These are Addie, Chris,
Christiano, Joe, Mindy, Mort, and sg. Christiano, Joe, mato, Mindy, Mort, and sg.