<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">I went to <a href="https://gitlab.common-lisp.net/help">https://gitlab.common-lisp.net/help</a> and it says this is version 12.5.2 and "update asap" in a red box.<br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">Thought someone might want to take a look to see if really seems to be as urgent as the red box might imply.<br></div><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div></div>Ray<br></div></div></div>