https for lists.dune-project.org
This issue is for tracking the migration of http://lists.dune-project.org to https://lists.dune-project.org
It is under infrastructure, since the dune-lists-doc repository is internal.
This issue is for tracking the migration of http://lists.dune-project.org to https://lists.dune-project.org
It is under infrastructure, since the dune-lists-doc repository is internal.