diff options
-rw-r--r-- | MANUAL.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index b71ea13fd..ef28cfa43 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -4291,6 +4291,7 @@ Arlo O'Keeffe, Artyom Kazak, Agustín Martín Barbero, B. Scott Michel, +Ben Firshman, Ben Gamari, Beni Cherniavsky-Paskin, Benoit Schweblin, @@ -4449,6 +4450,7 @@ Yuchen Pei, bucklereed, bumper314, csforste, +d-dorazio, iandol, infinity0x, lwolfsonkin, |