Logging
Coming from https://github.com/dune-community/dune-gdt/pull/198, lets discuss some logging. I will add some motivation and requirements for what I did here in the next days...
Das persönliche Profil (https://zivgitlab.uni-muenster.de/USERID) wurde für alle Nutzer administrativ auf "privat" gesetzt. Wenn sie möchten, dass dieses wieder für alle internen Nutzer sichtbar wird, deaktivieren sie bitte das "private profile" unter den persönlichen Einstellungen (https://zivgitlab.uni-muenster.de/-/profile).
Coming from https://github.com/dune-community/dune-gdt/pull/198, lets discuss some logging. I will add some motivation and requirements for what I did here in the next days...