Subject: Re: [boost] [github] default PR destination
From: tim (tim_at_[hidden])
Date: 2014-01-05 11:06:42
> (for tim: same answer; pull request is never directly merged to master;
> any test farm is not inherently circumvented; etc.)
so if you agree that your PR should not go into master, why do you
request exactly that?
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk