16 Jan
2017
16 Jan
'17
6:28 a.m.
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. :)