1 Sep
2016
1 Sep
'16
8:06 p.m.
Hi all, Do I need permission now to push a bug fix to master? I intend to put this fix: https://github.com/boostorg/optional/commit/5d5d1f46baac851c8ec0ca15059d3e77... Regards, &rzej;