|
Boost : |
Subject: Re: [boost] [release] Can I push a bug fix?
From: Rene Rivera (grafikrobot_at_[hidden])
Date: 2016-09-01 19:02:11
On Thu, Sep 1, 2016 at 3:06 PM, Andrzej Krzemienski <akrzemi1_at_[hidden]>
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
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk