$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
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?