On Wednesday, 30 December 2015 at 22:46:28 UTC, John Colvin wrote:
On Wednesday, 30 December 2015 at 21:39:54 UTC, Ilya Yaroshenko
wrote:
On Tuesday, 29 December 2015 at 18:08:52 UTC, Andrei
Alexandrescu wrote:
On 12/29/2015 11:28 AM, Robert burner Schadek wrote:
[...]
Hopefully this is something that you or someone else could
help by creating pull requests. Any volunteers? -- Andrei
Does it means that the PR can be merged? --Ilya
If there's a time constraint, perhaps we could merge it for
2.070 but keep adding documentation updates to both master and
release branches?
2.070 would be merged into stable soon.