
13 Dec
2015
13 Dec
'15
1:05 p.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,