Yes. They are all gone.

On Thu, Jun 4, 2020, 10:06 Philipp Marek <philipp@marek.priv.at> wrote:

AFAICT it's _every_ project's svn?!