TW #2007: Compute number of current tasks correctly

- Thanks to Janik Rabe
2018-08-12 09:46:51 -04:00
parent e0adb4536c
commit 9c89a229fa
2 changed files with 3 additions and 0 deletions
--- a/1
+++ b/1
@@ -147,6 +147,7 @@ The following submitted code, packages or analysis, and deserve special thanks:
  Simon Ruderich
  Kirill Bobyrev
  Simon Désaulniers
+  Janik Rabe

 Thanks to the following, who submitted detailed bug reports and excellent
 suggestions: