Re: [boost] [release] Can I push a bug fix?

1 Sep 2016


      On Thu, Sep 1, 2016 at 3:06 PM, Andrzej Krzemienski 
wrote:
...
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/5d5d1f46baac851c8ec0ca15059d3e
773585a17e
No permission needed.


-- 
-- Rene Rivera
-- Grafik - Don't Assume Anything
-- Robot Dreams - http://robot-dreams.net
-- rrivera/acm.org (msn) - grafikrobot/aim,yahoo,skype,efnet,gmail