In watchfile debian/watch, reading webpage https://gitlab.dune-project.org/staging/dune-functions/tags?sort=updated_desc failed: 500 read timeout
Among the 3 debian patches available in version 2.11.0+dfsg-2 of the package, we noticed the following issues: