Bastian Germann Mon, 05 Dec 2022 17:51:17 -0800
The SVN repo does not exist anymore, so you should drop that as well.
