diff options
Diffstat (limited to 'news/2019-0.11.6.inc')
| -rw-r--r-- | news/2019-0.11.6.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/news/2019-0.11.6.inc b/news/2019-0.11.6.inc index 2a729217..776c6880 100644 --- a/news/2019-0.11.6.inc +++ b/news/2019-0.11.6.inc | |||
| @@ -93,6 +93,6 @@ | |||
| 93 | <p> | 93 | <p> |
| 94 | This release was the work of many people. The following people | 94 | This release was the work of many people. The following people |
| 95 | contributed code and were thus easily identified: | 95 | contributed code and were thus easily identified: |
| 96 | Christian Grothoff, Florian Dold, Marcello Stanisci, ng0, Martin Schanzenbach and Bernd Fix. | 96 | Martin Schanzenbach, Julius Bünger, ng0, Christian Grothoff, Alexia Pagkopoulou, rexxnor, xrs, lurchi and t3sserakt. |
| 97 | </p> | 97 | </p> |
| 98 | </article> | 98 | </article> |