Status of devel/boost upgrade

[Dmitry Marakasov]

* Alexander Churanov (alexanderchuranov at gmail.com) wrote:

> > We'll need an exp-run for it anyway, so I guess it's OK.
> > If you have a patch ready, I suggest to file a PR and mail pav@ to do
> > exp-run for it. If there are no major failures, we can push it into the
> > tree, else we won't be bored during the freeze fixing it.
> 
> As I understand this, it's OK to file a PR for just updating to 1.38,
> but port re-organization is delayed until 7.2 is released. Is this
> correct?

Better ask pav (cc'd). I myself see no reason why not do both update and
split in one go.

-- 
Dmitry Marakasov   .   55B5 0596 FF1E 8D84 5F56  9510 D35A 80DD F9D2 F77D
amdmi3 at amdmi3.ru  ..:  jabber: amdmi3 at jabber.ru    http://www.amdmi3.ru