In watchfile debian/watch, reading webpage https://gitlab.dune-project.org/core/dune-localfunctions/tags?sort=updated_desc failed: 500 read timeout
Among the 1 debian patch available in version 2.11.0-1 of the package, we noticed the following issues: