Finally, both master and the new 4.15 branch are open for merging given our
merge guidelines. I wish all of us much productivity.

-- 
Daan

Reply via email to