Boost logo

Boost :

Subject: Re: [boost] [GitHub] [PR] setting default branch to 'develop'
From: Michel Morin (mimomorin_at_[hidden])
Date: 2015-10-28 08:32:55

Vladimir Prus wrote:
> I have ran the above, with some quoting fixes:

Thanks for doing this and fixing incorrect quoting.

> | awk -F
> This has updated every repo that is included in master.

Oops, I forgot to change 'master' to 'develop' in the URL...


Boost list run by bdawes at, gregod at, cpdaniel at, john at