On Wed, Apr 26, 2017 at 18:00 Maarten <<a href="mailto:m@mdbraber.com">m@mdbraber.com</a>> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Ran into the same bug. Any idea on how long this will take?</blockquote><div><br></div><div>The packages just migrated; should be fixed in the next deinstall (~3.5 hrs + mirror sync time).</div><div><br></div><div>Sincerely,</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"></blockquote></div><div dir="ltr">-- <br></div><div data-smartmail="gmail_signature">Harlan Lieberman-Berg<br>~hlieberman</div>