David Malcolm <dmalcolm(a)redhat.com> writes:
On Tue, 2012-08-07 at 01:22 +0200, Petr Machata wrote:
> Jon Ciesla <limburgher(a)gmail.com> writes:
> > On Mon, Aug 6, 2012 at 11:33 AM, David Malcolm <dmalcolm(a)redhat.com>
wrote:
> >> (c) move the boost-1.50 from f18-boost into f18 proper
> >
> > My understanding is that tonight dgilmore will be doing c.
>
> Great, that would be very helpful. I'll try to coordinate with him over
> IRC (am trying to do so now in fact).
Petr: What is the status of this?
I was told by dgilmore to put a request in the boost side tag ticket
earlier today. I promptly did that. dgilmore said he was about to
branch f18, and would prefer to merge boost soon, so it seems like he
knows about this, and it's now just a matter of time.
Thanks,
PM