[Dune-devel] Login with github credentials not possible
Markus Blatt
markus at dr-blatt.de
Mon Aug 10 15:10:37 CEST 2020
Hi,
Somehow I am missing the button to login to gitlab with my github credentials.
Is that a bug or feature?
Markus
More information about the Dune-devel
mailing list