Merge pull request #1508 from msekletar/update-TODO-NPROC
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Sat, 17 Oct 2015 02:14:32 +0000 (22:14 -0400)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Sat, 17 Oct 2015 02:14:32 +0000 (22:14 -0400)
update TODO


Trivial merge