Le 03/09/2022 à 13:56, David Kastrup a écrit :
Jean Abou Samra <j...@abou-samra.fr> writes:I believe these not to be useful anymore as well: dev/dak/badregex (fix was later done differently by Jonas)Will remove, but am unable to reach the repo right now.
GitLab is under maintenance at the moment. See status.gitlab.com and https://about.gitlab.com/blog/2022/08/12/upgrading-database-os/