Liebe Gitlab-Nutzer, lieber Gitlab-Nutzer, es ist nun möglich sich mittels des ZIH-Logins/LDAP an unserem Dienst anzumelden. Ein Anmelden über dieses erzeugt ein neues Konto. Das alte Konto ist über den Reiter "Standard" erreichbar. Die Administratoren

Dear Gitlab user, it is now possible to log in to our service using the ZIH login/LDAP. Logging in via this will create a new account. The old account can be accessed via the "Standard" tab. The administrators

added more documentation to from_chars and to_chars

6 jobs for master in 4 minutes and 29 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #7887
debian:10 clang-7-libcpp-17

00:02:08

passed #7886
debian:10 gcc-8-noassert-17

00:02:35

passed #7889
debian:9 clang-3.8-14

00:02:02

passed #7888
debian:9 gcc-6-14

00:01:39

passed #7890
ubuntu:16.04 gcc-5-14

00:01:24

passed #7891
ubuntu:18.04 clang-6-17

00:02:18