On 01/26/2018 10:36 PM, Daan Hoogland wrote:
I am unclear of our present state. have we opened master for merging again?
Afaik yes, 4.11 has been cut and master has been updated to 4.12-SNAPSHOT So master is open again after enough LGTM. Wido
- master merges Daan Hoogland
- Re: master merges Wido den Hollander
- Re: master merges Rohit Yadav
