14 May
2015
14 May
'15
2:51 a.m.
On Mon, May 4, 2015 at 7:43 AM, Maarten de Vries
[snip]
If my assumption was correct, pull request here: https://github.com/boostorg/variant/pull/15
I see that this has been addressed, but I noticed that your pull request was for merging into the "master" branch.
That's a non-starter; pull requests should always go into "develop", and then after the tests cycle, they can be merged to "master" -- Marshall