TW #2051: doc/man: ready tasks sorted with started tasks 1st

- Thanks to Simon Désaulniers
This commit is contained in:
Paul Beckingham 2018-08-12 09:43:36 -04:00
parent d571483410
commit 5d0a577deb
2 changed files with 3 additions and 0 deletions

View file

@ -146,6 +146,7 @@ The following submitted code, packages or analysis, and deserve special thanks:
Tiago Matias
Simon Ruderich
Kirill Bobyrev
Simon Désaulniers
Thanks to the following, who submitted detailed bug reports and excellent
suggestions: