Probably best course of action: - [x] fork brian2 in this organization - [x] apply the patch to current master https://github.com/brian-team/brian2/pull/1057 - [x] install brian2 from that repository (using `pip install <git url>`)
Probably best course of action:
pip install <git url>)