Go for it! On 24 May 2017 at 11:11, Stefan Bodewig <[email protected]> wrote:
> Hi > > it's been more than three weeks since I commented on all PRs at the old > mirror. I think it is safe to ask infra to remove the mirror of the svn > tree by now. > > Any objections? > > Stefan > -- Matt Sicker <[email protected]>
