On Tue, Oct 31, 2017 at 8:15 PM, Yakov Zhdanov <[email protected]> wrote:
> I would also consider having docs under separate git repository. Separate > since we need to have an opportunity to revisit documentation for already > released versions. > This should not be a problem.
