diff options
Diffstat (limited to 'news/2019-0.11.0.inc')
-rw-r--r-- | news/2019-0.11.0.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/news/2019-0.11.0.inc b/news/2019-0.11.0.inc index 4035c3dd..a1424fa0 100644 --- a/news/2019-0.11.0.inc +++ b/news/2019-0.11.0.inc | |||
@@ -89,7 +89,7 @@ about 150 more specific issues. | |||
89 | This release was the work of many people. The following people | 89 | This release was the work of many people. The following people |
90 | contributed code and were thus easily identified: | 90 | contributed code and were thus easily identified: |
91 | Christian Grothoff, Matthias Wachs, Bart Polot, Sree Harsha Totakura, | 91 | Christian Grothoff, Matthias Wachs, Bart Polot, Sree Harsha Totakura, |
92 | Nathan S. Evans, Martin Schanzenbach, Julius Bünger, Nils Gillmann, | 92 | Nathan S. Evans, Martin Schanzenbach, Julius Bünger, ng0, |
93 | Philipp Tölke, Florian Dold, Руслан Ижбулатов, tg(x), David Barksdale, | 93 | Philipp Tölke, Florian Dold, Руслан Ижбулатов, tg(x), David Barksdale, |
94 | Christian Fuchs, Nils Durner, Omar Tarabai, Maximilian Szengel, Supriti | 94 | Christian Fuchs, Nils Durner, Omar Tarabai, Maximilian Szengel, Supriti |
95 | Singh, lurchi, David Brodski, xrs, Fabian Oehlmann, Carlo von lynX, | 95 | Singh, lurchi, David Brodski, xrs, Fabian Oehlmann, Carlo von lynX, |