I think it's time to cut the 4.1 release.
+1. I volunteer to do release management work, if you like. Thanks, Masatake Iwasaki On 1/14/16 07:52, Colin P. McCabe wrote:
Hi all, Happy new year! I think it's time to cut the 4.1 release. We've fixed up a lot of bugs, and made a lot of progress since 4.0.1. If everyone agrees, I'll post something in the next few days. best, Colin
