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

On Mon, Mar 09, 2020 15:57:02 +0000, Hans Ekkehard Plesser wrote:

Dear NEST Developers!

Hello,

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.

Are there any plans to make a minor release to include this fix? Or should we cherry-pick the fix for downstream distribution for the time being (or simply build from the master branch)?