<div dir="auto">Yes. They are all gone.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jun 4, 2020, 10:06 Philipp Marek <<a href="mailto:philipp@marek.priv.at">philipp@marek.priv.at</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">AFAICT it's _every_ project's svn?!<br>
</blockquote></div>