docs: note that Github Pages configuration has to be updated after a release
authorLuca Boccassi <bluca@debian.org>
Fri, 28 Jul 2023 22:42:20 +0000 (23:42 +0100)
committerLuca Boccassi <bluca@debian.org>
Fri, 28 Jul 2023 22:42:20 +0000 (23:42 +0100)
commitfdacce7421cd4deb85299c4aad13c2ee592d1c0d
tree8eb6bb08e19e79abe39a77585e9ab7758194f50d
parentb739b46919f89e09c5a72771009335c0298d1346
docs: note that Github Pages configuration has to be updated after a release
docs/RELEASE.md