diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2021-09-11 09:55:31 +0200 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2021-09-11 15:22:48 +0200 |
| commit | 38b155fa1bf907617067c98eb4ba3a5d0790eb1a (patch) | |
| tree | f62f8b9e35bd6b0699a6cd9f0611147c2d8e1ddd /dev-ml/ppx_jane | |
| parent | gui-libs/gtk: fix missing icon cache update with USE=examples (diff) | |
| download | gentoo-38b155fa1bf907617067c98eb4ba3a5d0790eb1a.tar.gz gentoo-38b155fa1bf907617067c98eb4ba3a5d0790eb1a.tar.bz2 gentoo-38b155fa1bf907617067c98eb4ba3a5d0790eb1a.zip | |
**/metadata.xml: Replace http by https in DOCTYPE element
Bug: https://bugs.gentoo.org/552720
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_jane')
| -rw-r--r-- | dev-ml/ppx_jane/metadata.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ppx_jane/metadata.xml b/dev-ml/ppx_jane/metadata.xml index 1ad033b289c7..2722d9bcf8c9 100644 --- a/dev-ml/ppx_jane/metadata.xml +++ b/dev-ml/ppx_jane/metadata.xml @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="person"> <email>gienah@gentoo.org</email> |