Re: [tlaplus] TLA+ Community Meeting 2025

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

This has been fixed.

Background: The DNS CNAME record for conf.tlapl.us <http://conf.tlapl.us/> was deleted, but the IT department of the Linux Foundation has recreated it. Unfortunately, they are unaware of the reason behind its earlier deletion.

> On Jan 14, 2025, at 1:15 PM, Andrew Helwer <andrew.helwer@xxxxxxxxx> wrote:
> 
> Currently http://conf.tlapl.us/2025-etaps/ cannot be resolved.


-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/EE13B503-A83C-4FDF-AC25-0B1ADB92CFE8%40lemmster.de.