[NEST Users] Please merge master if you have open pull requests / Issue #1449

Dear NEST Developers! If you currently have an open pull request against the NEST master branch on Github, please merge the most recent updates from master into your branch. A bug described in #1449 and fixed by #1458 lead to non-deterministic test suite failures. Once you have merged master into your branch, please push again to Github to re-run the tests on Travis. Best, Hans Ekkehard -- Prof. Dr. Hans Ekkehard Plesser Head, Data Science Section Faculty of Science and Technology Norwegian University of Life Sciences PO Box 5003, 1432 Aas, Norway Phone +47 6723 1560 Email hans.ekkehard.plesser(a)nmbu.no Home http://arken.nmbu.no/~plesser