Merge branch 'devel' of github.com:nim-lang/Nim into devel

This commit is contained in:
Andreas Rumpf 2018-08-23 20:39:47 +02:00
commit 35e37fd8ec

Diff content is not available