|
Boost : |
Subject: [boost] [release] Can I push a bug fix?
From: Andrzej Krzemienski (akrzemi1_at_[hidden])
Date: 2016-09-01 16:06:05
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/5d5d1f46baac851c8ec0ca15059d3e773585a17e
Regards,
&rzej;
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk