Interactive environments regularly break lately, sorry. It is due to our docker host. We have not fixed this as all energy has gone into migrating to the new head node. I do not currently have an ETA for them to return.
I will see if I can make a one off temporary fix. But I cannot say anything for sure.
Absolutely not urgent. Please don't divert effort on my account. I worked around it.
@jmchilton , @mvdbeek and I will arrive in Freiburg today around 3 pm
my train is scheduled for 6pm
my train should arrive ~4pm
We will be in the Martinsbräu.
Leaving now, should be there in 30 minutes
I think @ethering would like to join you at the pub, what's the place name again?
Some of us are still at the Schlappen pub
Dinner, November 19th: We have reserved a few tables at the Mehlwaage (nearby Martinstor) at 19:00.