Re: [libmicrohttpd] Fixing Gitlab CI

Thanks, Tim! Have a nice weekend! -- Evgeny 14-Jun-2024 12:33 (UTC+0200), Tim Rühsen via libmicrohttpd wrote: Hey, I just pushed a branch `fix-gitlab-ci` that fixes the Gitlab CI for libmicrohttpd, see https://gitlab.com/libmicrohttpd/libmicrohttpd/-/pipelines/1332510732 Please feel free

[libmicrohttpd] Fixing Gitlab CI

Hey, I just pushed a branch `fix-gitlab-ci` that fixes the Gitlab CI for libmicrohttpd, see https://gitlab.com/libmicrohttpd/libmicrohttpd/-/pipelines/1332510732 Please feel free to merge into master / gnunet.org. Accidentally, I also pushed the same branch to https://gnunet.org/git/libmicr