> On 15 Feb 2021, at 04:03, Florian Haftmann > <[email protected]> wrote: > > Signed PGP part > > Am 14.02.21 um 09:13 schrieb Florian Haftmann: >>>> What is the proper way of making this known to the operators of heptapod? >>> >>> I am not sure. Maybe via certain areas of the website https://heptapod.net >>> or >>> even https://foss.heptapod.net/heptapod/heptapod/-/issues >> >> See now https://foss.heptapod.net/heptapod/heptapod/-/issues/425 > > This is now resolved, seemingly a configuration problem when uploading > ssh keys. > > Those guys really react fast.
That's pretty impressive. I'm glad this worked out. Cheers, Gerwin
signature.asc
Description: Message signed with OpenPGP
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
