
13 Dec
2015
13 Dec
'15
8:05 a.m.
Hi all, Where does release planning happen? I'd like to start on merging some solver-related PRs, but if there's an imminent release, that might not be such a good idea... Regards,