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.
Cheers,
Florian
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
