| Wed, 09 May 2018 20:45:57 +0200 | wenzelm | clarified future scheduling parameters, with support for parallel_limit; | file | diff | annotate |
| Tue, 24 Apr 2018 11:03:51 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 19 Feb 2018 11:13:25 +0100 | wenzelm | clarified signature; | file | diff | annotate |