Hi, If I recall correctly, the us2 server is updated within 24 hours of a new merge in metamath/set.mm on github (I cannot retrieve this information). But the merge https://github.com/metamath/set.mm/pull/1261#event-2813593206 is from 20 nov. 2019 à 02:26 UTC+1 (35 hours ago at the time of writing this message) and still does not appear in http://us2.metamath.org/ileuni/mmrecent.html (which indicates "Last updated on 19-Nov-2019 at 8:14 PM ET"). Is there a synchronization issue ? Thanks, Benoît
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/171b88c2-6fa6-4c7b-a2d3-2ff85688bc91%40googlegroups.com.
