Re: [boost] Boost 1.64 release date

Subject: Re: [boost] Boost 1.64 release date
From: Gavin Lambert (gavinl_at_[hidden])
Date: 2017-01-16 01:28:42

On 13/01/2017 23:12, Andrey Semashev wrote:
> On 01/13/17 06:40, Rene Rivera wrote:
>>
>> <https://github.com/boostorg/boost/wiki/Release-Schedule>
>>
>> Enjoy.
>
> ...in early 2015 the then Release team decided...
>
> "then" should probably be removed.

That's technically correct, if a bit awkwardly worded.

"the then Release team" == "the Release team as of then" == ("the 
members of the Release team at the time" || "the team formerly known as 
the Release team")

Though you're right that it's probably redundant. :)