Hi devs,
Since the 3.2 release is approaching, I'd like to close the stable 3.1.x
branch as well with a final 3.1.1 release, probably on October 3rd.
If you have any important bugfixes you want to see in this release,
please push them ASAP.
--
Sergiu Dumitriu
http://purl.org/net/sergiu/