* [gentoo-commits] proj/vdr/devel:master commit in: media-video/reelbox-ehd-tools/
@ 2016-05-15 19:48 Joerg Bornkessel
0 siblings, 0 replies; 2+ messages in thread
From: Joerg Bornkessel @ 2016-05-15 19:48 UTC (permalink / raw
To: gentoo-commits
commit: 21e182cd816b8bc4bedbfc128370c3a4f1d4e36d
Author: Joerg Bornkessel <hd_brummy <AT> gentoo <DOT> org>
AuthorDate: Sun May 15 19:38:42 2016 +0000
Commit: Joerg Bornkessel <hd_brummy <AT> gentoo <DOT> org>
CommitDate: Sun May 15 19:38:42 2016 +0000
URL: https://gitweb.gentoo.org/proj/vdr/devel.git/commit/?id=21e182cd
media-video/reelbox-ehd-tools: Id; metadata.xml; rm ChangeLog
Package-Manager: portage-2.2.28
Manifest-Sign-Key: 0x93EB5F4DAA5832A1
media-video/reelbox-ehd-tools/ChangeLog | 14 ---------
media-video/reelbox-ehd-tools/Manifest | 35 ++++++++++++++--------
media-video/reelbox-ehd-tools/metadata.xml | 10 +++++--
.../reelbox-ehd-tools-14440.ebuild | 2 +-
.../reelbox-ehd-tools-14916.ebuild | 2 +-
5 files changed, 32 insertions(+), 31 deletions(-)
diff --git a/media-video/reelbox-ehd-tools/ChangeLog b/media-video/reelbox-ehd-tools/ChangeLog
deleted file mode 100644
index e8c13f7..0000000
--- a/media-video/reelbox-ehd-tools/ChangeLog
+++ /dev/null
@@ -1,14 +0,0 @@
-# ChangeLog for media-video/reelbox-ehd-tools
-# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: $
-
-*reelbox-ehd-tools-14916 (09 Apr 2012)
-
- 09 Apr 2012; Joerg Bornkessel <hd_brummy@gentoo.org>
- +reelbox-ehd-tools-14916.ebuild:
- version bump to revision 14916, eapi=4
-
- 23 Feb 2010; Joerg Bornkessel <hd_brummy@gentoo.org>
- +reelbox-ehd-tools-14440.ebuild, +metadata.xml:
- initial revision for vdr-1.7.12
-
diff --git a/media-video/reelbox-ehd-tools/Manifest b/media-video/reelbox-ehd-tools/Manifest
index 0339b61..b353ad5 100644
--- a/media-video/reelbox-ehd-tools/Manifest
+++ b/media-video/reelbox-ehd-tools/Manifest
@@ -1,17 +1,28 @@
-----BEGIN PGP SIGNED MESSAGE-----
-Hash: SHA1
+Hash: SHA256
-DIST reelbox-ehd-tools-14440.tgz 40072 RMD160 de10d82f7b28bb6e51334b7b4f93d6271551f291 SHA1 29edc65f615b9807079c14eef573858974bc7ebe SHA256 e346655a10a383dc990b0f7bf4b5104e537b20d55de6fd070deaf7e51de51d92
-DIST reelbox-ehd-tools-14916.tgz 40193 RMD160 4b40d901874fcc77b7cef416b548807981e9028a SHA1 d5dbee69a3d59cc93e80007179b834dc907ec537 SHA256 17af8e8432b911da7a6de750db4643afd5dddb072869d119a389f7ff344f493f
-EBUILD reelbox-ehd-tools-14440.ebuild 1332 RMD160 2366d90748b040eb25b98061c92385cef6f5706c SHA1 c706f3f3c43a195be2980d801ea4ca82904b7e05 SHA256 c3de4f5fa11842c60db1ba4500815bb2ec280bd254bc76972d25df00f98c5060
-EBUILD reelbox-ehd-tools-14916.ebuild 1305 RMD160 d235826a0b15ca54bab797a13424a57919e7f8ef SHA1 70cb57640d791492ad0610b8eb56d4178f9803f2 SHA256 a0064fd38a66f39e14934401a942c97f1d4293299f87ecf5aaa0da3a21d2d623
-MISC ChangeLog 442 RMD160 ea2e8c2f22b5c9c243b5ed610317d36788408d59 SHA1 ab67f8d0ec6843795a977d5c1daa696819362663 SHA256 47c2618ff202daf09c9563dcfeed8f313743a11986aa17c5779cf94554b7ff03
-MISC metadata.xml 352 RMD160 57a3a02b1c7da27ff3277627eed5645a1812adcc SHA1 15007ef9f352900614d270f14e511414f2669576 SHA256 54b2ad3aff6816a964885c849410e0e67777000713e98b776217b7d509ba0ad2
+DIST reelbox-ehd-tools-14440.tgz 40072 SHA256 e346655a10a383dc990b0f7bf4b5104e537b20d55de6fd070deaf7e51de51d92
+DIST reelbox-ehd-tools-14916.tgz 40193 SHA256 17af8e8432b911da7a6de750db4643afd5dddb072869d119a389f7ff344f493f
+EBUILD reelbox-ehd-tools-14440.ebuild 1326 SHA256 9982b35ea04bb3d0dc7046b3d5cbe670fd466855cd838c5099d4163b4b37882e SHA512 cd5fda653e4b1d0ffddd3c3d45d55bd049e503e23969720f5a7acd836d274e5fe4d408af3532584f5942ec27697023646caca3a03ef54fa73415b6634dce3299 WHIRLPOOL 3801b60839500ff87da93f9144925c19c78b2eb2e05669aa92a4a472e64f144f9c4bd16e8b3887dc1aec578c4dec766c5378d3988b3772acb60867413ebcbe66
+EBUILD reelbox-ehd-tools-14916.ebuild 1299 SHA256 796b091e8d4127a50c29d245a90250175670674d2d077ae5e34d7bbf9c84bda5 SHA512 a47e11b39af3f3f6063e05726df53f5a222d1b815bae04bcc155623b9c8d3b83fabd809049190c8412a77408a626d886a7289802de997aed585a4c10a79c0c3b WHIRLPOOL 3efbcf0988bbf2b65f8def1cee90756e5b0760ffde67761e2b0f72a10d5c39c0696613258e1f0fe813a38b6e1c0bb6c725fe44c64dcb8e660c9de0023ce4dd6c
+MISC metadata.xml 523 SHA256 15025b117011349b41b68534a1c47aa63d4815d9cfee8ff2ca39dbe49c089641 SHA512 6af4054f1ad873e6a0b541791006aa5aad4819514a06e8da2ab347c88653231429675d4b234ada6015c3c4f4dc0b476ff999d21873e23c1b857675bc2c2742bb WHIRLPOOL 22637c7409943d05b74cf7e99208da525f2d598fe7248246fc2dff8f5e000196c58994dbeca46072fecdf6b59edabc89f9b04bc46c9a14f7d50bc64aa4c32389
-----BEGIN PGP SIGNATURE-----
-Version: GnuPG v1.4.5 (GNU/Linux)
-Comment: added by hd_brummy@gentoo.org
+Version: GnuPG v2.1
+Comment: Signed-off-by: Jörg Bornkessel <hd_brummy@gentoo.org>
-iD8DBQFPgzjKdn07HTTCgIoRAtpyAJ9BWbfTxl3R5N2BEiaXJJWMLu2wCgCguUCL
-pkvELM624u7eSjKXAF6N3QU=
-=oYG/
+iQJ8BAEBCABmBQJXONBCXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
+ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQwRTBBQTFFRTFERjQ0MUQ3QTNGNTIxQzI5
+M0VCNUY0REFBNTgzMkExAAoJEJPrX02qWDKhggsP+wV+7Suj/R2k1yhu9TOJ6TPX
+9pnMvCLAlD0PI30WpoKf/3Xp3VZzDNe0xcrwne5POLRBXfbju1UWwGk9yzuX1tAY
+55DSVWb9+kKE6XqmIygpODGPouMnGTqF2hbXnfUg+ivkiFpV9uXjy+M+5vuDpUB2
+5kB10vYB0AeQroEYCwMQNabuikw/GxT0apISyPcBl6+d1PPpFnogkhUsD4H59gns
+k9hHTrh3OqxHHtff+oWSM43a2ZpYnvtyhD9J1IyGJ6TZqF1GH6XY/10q+5ds866J
+9cheJx+1pITvcdpelrE9qDu116xrQ6iamKQjiyx1mNOd0/pzQgqCirecFTClJaF1
+6RIySEQiTWagXqIurqoiMwoq9uoPtZ/OTNTNiQgftTf+MrIAbM27WUQERzF6SPxJ
+vzwtJCThytZ7YLdpIZvXL97BZpE0e1Uojgf5QHYytB20naSIqIGxq3zcj+pKJ9KF
+y2zI1yArHsOfwycCTpx0il6oR3N0Sl8NOAScxbPvTf5T3aeM9f5FWwNqoOywyox5
+RyjHp4dL0gF+imzugpVkce6H1y+UBQITUMfeyDZUQR2RfBRxFlOKfgwAq9lDDu9+
+DgPra5Yvy3z7klyL6B+Yd+4+nDC+jBXEHVoHHaUtmepIpjifxxwEcc6p3FN3WDze
+acNK880Ln8AHdmtkHIXY
+=fYQ8
-----END PGP SIGNATURE-----
diff --git a/media-video/reelbox-ehd-tools/metadata.xml b/media-video/reelbox-ehd-tools/metadata.xml
index 83928e6..41c24cd 100644
--- a/media-video/reelbox-ehd-tools/metadata.xml
+++ b/media-video/reelbox-ehd-tools/metadata.xml
@@ -1,14 +1,18 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
-<herd>media-tv</herd>
- <maintainer>
+ <maintainer type="person">
<email>hd_brummy@gentoo.org</email>
<name>Joerg Bornkessel</name>
</maintainer>
- <maintainer>
+ <maintainer type="person">
<email>joerg_pb@gmx.net</email>
<name>Joerg Krause</name>
+ <description>Proxied maintainer</description>
+ </maintainer>
+ <maintainer type="project">
+ <email>proxy-maint@gentoo.org</email>
+ <name>Proxy Maintainers</name>
</maintainer>
</pkgmetadata>
diff --git a/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14440.ebuild b/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14440.ebuild
index bd319db..a13a17a 100644
--- a/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14440.ebuild
+++ b/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14440.ebuild
@@ -1,6 +1,6 @@
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: $
+# $Id$
EAPI="2"
diff --git a/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14916.ebuild b/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14916.ebuild
index b253c1a..926c9bb 100644
--- a/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14916.ebuild
+++ b/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14916.ebuild
@@ -1,6 +1,6 @@
# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: $
+# $Id$
EAPI="4"
^ permalink raw reply related [flat|nested] 2+ messages in thread
* [gentoo-commits] proj/vdr/devel:master commit in: media-video/reelbox-ehd-tools/
@ 2019-12-15 2:41 Joerg Bornkessel
0 siblings, 0 replies; 2+ messages in thread
From: Joerg Bornkessel @ 2019-12-15 2:41 UTC (permalink / raw
To: gentoo-commits
commit: 409b252c3b8969f37909cf3ba7575367c1141b43
Author: Joerg Bornkessel <hd_brummy <AT> gentoo <DOT> org>
AuthorDate: Sun Dec 15 02:40:22 2019 +0000
Commit: Joerg Bornkessel <hd_brummy <AT> gentoo <DOT> org>
CommitDate: Sun Dec 15 02:40:22 2019 +0000
URL: https://gitweb.gentoo.org/proj/vdr/devel.git/commit/?id=409b252c
media-video/reelbox-ehd-tools: several minor fixes
Bug: https://bugs.gentoo.org/696816
Package-Manager: Portage-2.3.81, Repoman-2.3.18
Manifest-Sign-Key: 0x68C51DE6D770E4A6!
Signed-off-by: Joerg Bornkessel <hd_brummy <AT> gentoo.org>
media-video/reelbox-ehd-tools/Manifest | 37 ++++++++++------------
.../reelbox-ehd-tools-14440.ebuild | 9 +++---
.../reelbox-ehd-tools-14916.ebuild | 9 +++---
3 files changed, 24 insertions(+), 31 deletions(-)
diff --git a/media-video/reelbox-ehd-tools/Manifest b/media-video/reelbox-ehd-tools/Manifest
index b353ad5..f7b7ebb 100644
--- a/media-video/reelbox-ehd-tools/Manifest
+++ b/media-video/reelbox-ehd-tools/Manifest
@@ -1,28 +1,23 @@
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
-DIST reelbox-ehd-tools-14440.tgz 40072 SHA256 e346655a10a383dc990b0f7bf4b5104e537b20d55de6fd070deaf7e51de51d92
-DIST reelbox-ehd-tools-14916.tgz 40193 SHA256 17af8e8432b911da7a6de750db4643afd5dddb072869d119a389f7ff344f493f
-EBUILD reelbox-ehd-tools-14440.ebuild 1326 SHA256 9982b35ea04bb3d0dc7046b3d5cbe670fd466855cd838c5099d4163b4b37882e SHA512 cd5fda653e4b1d0ffddd3c3d45d55bd049e503e23969720f5a7acd836d274e5fe4d408af3532584f5942ec27697023646caca3a03ef54fa73415b6634dce3299 WHIRLPOOL 3801b60839500ff87da93f9144925c19c78b2eb2e05669aa92a4a472e64f144f9c4bd16e8b3887dc1aec578c4dec766c5378d3988b3772acb60867413ebcbe66
-EBUILD reelbox-ehd-tools-14916.ebuild 1299 SHA256 796b091e8d4127a50c29d245a90250175670674d2d077ae5e34d7bbf9c84bda5 SHA512 a47e11b39af3f3f6063e05726df53f5a222d1b815bae04bcc155623b9c8d3b83fabd809049190c8412a77408a626d886a7289802de997aed585a4c10a79c0c3b WHIRLPOOL 3efbcf0988bbf2b65f8def1cee90756e5b0760ffde67761e2b0f72a10d5c39c0696613258e1f0fe813a38b6e1c0bb6c725fe44c64dcb8e660c9de0023ce4dd6c
-MISC metadata.xml 523 SHA256 15025b117011349b41b68534a1c47aa63d4815d9cfee8ff2ca39dbe49c089641 SHA512 6af4054f1ad873e6a0b541791006aa5aad4819514a06e8da2ab347c88653231429675d4b234ada6015c3c4f4dc0b476ff999d21873e23c1b857675bc2c2742bb WHIRLPOOL 22637c7409943d05b74cf7e99208da525f2d598fe7248246fc2dff8f5e000196c58994dbeca46072fecdf6b59edabc89f9b04bc46c9a14f7d50bc64aa4c32389
+DIST reelbox-ehd-tools-14440.tgz 40072 BLAKE2B ee5f1ed314cff7786fe6c66414c54a677c3c0e08a359c0ace26ee7d5d82aecae31b41f644455117f7430e745ae14f4e2158e7963cd61835efeac37ccf1a100ef SHA512 15ce9dd29c54adcc0ecf8a182309d7080eda824c788031dbb39d0aa5234d515e842a40c02f8519d1799d3387daab44fbb8ed0c4cebea547c5cde64b9744a7bc9
+DIST reelbox-ehd-tools-14916.tgz 40193 BLAKE2B 53280dfa2a6cb34c55c152c9a316a34264de44119c41806f38c2dd001084113447b0a4e8bdaa66bb63512a9129b10bb4e02e6cc289d1a019048ac56a32dda206 SHA512 3f3502433431ade2c8bc498ceebd8d621ec08bb388cd593e64cf80fa09f62f2a27b084880263807fcfa8c21232c2e0543f4bc86576982e0d515e0ce07db149af
+EBUILD reelbox-ehd-tools-14440.ebuild 1319 BLAKE2B 246372108592a131ef1a5dc98330a911f6935ba220683fe73eefa676903f6dd4f943e9e3d30cfac40cda5bbbb156bb7a9380de9a7a43ea55234c9ddc870979a5 SHA512 1a6ca24a6fd39199b89b47f55dad6e0f2e8471c3f2cebe16788f0c680e09806a33df111123ae8426a04452cbeccd9770273a683aa6bdc1fad3c65e06426d59a5
+EBUILD reelbox-ehd-tools-14916.ebuild 1292 BLAKE2B 2c7af436e90ac768ad88ead31e9da1c71ec40cd51820a8fc22ec14d5e55991df194630a3c6afe3d19738199c4e3d66612618cc59b6de61380f011555a92154da SHA512 12ae45edfa0c16b5671e080997e91fefa120f8a5fedb13df0d08dd0e6959bf4b018302694e7f1e4a6fd7b976bbd29222291b3af9e003826dc51bfb5a1b712709
+MISC metadata.xml 523 BLAKE2B 69f3e75dab23e40a9ac1e3fbff901e52ca865835515b7924274ca2dc9249b28bc2b29b9de97ca3af858f5952a993af19a50773cd1bd1b6d63298e1bffe550f08 SHA512 6af4054f1ad873e6a0b541791006aa5aad4819514a06e8da2ab347c88653231429675d4b234ada6015c3c4f4dc0b476ff999d21873e23c1b857675bc2c2742bb
-----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.1
+Version: GnuPG v2
Comment: Signed-off-by: Jörg Bornkessel <hd_brummy@gentoo.org>
-iQJ8BAEBCABmBQJXONBCXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
-ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQwRTBBQTFFRTFERjQ0MUQ3QTNGNTIxQzI5
-M0VCNUY0REFBNTgzMkExAAoJEJPrX02qWDKhggsP+wV+7Suj/R2k1yhu9TOJ6TPX
-9pnMvCLAlD0PI30WpoKf/3Xp3VZzDNe0xcrwne5POLRBXfbju1UWwGk9yzuX1tAY
-55DSVWb9+kKE6XqmIygpODGPouMnGTqF2hbXnfUg+ivkiFpV9uXjy+M+5vuDpUB2
-5kB10vYB0AeQroEYCwMQNabuikw/GxT0apISyPcBl6+d1PPpFnogkhUsD4H59gns
-k9hHTrh3OqxHHtff+oWSM43a2ZpYnvtyhD9J1IyGJ6TZqF1GH6XY/10q+5ds866J
-9cheJx+1pITvcdpelrE9qDu116xrQ6iamKQjiyx1mNOd0/pzQgqCirecFTClJaF1
-6RIySEQiTWagXqIurqoiMwoq9uoPtZ/OTNTNiQgftTf+MrIAbM27WUQERzF6SPxJ
-vzwtJCThytZ7YLdpIZvXL97BZpE0e1Uojgf5QHYytB20naSIqIGxq3zcj+pKJ9KF
-y2zI1yArHsOfwycCTpx0il6oR3N0Sl8NOAScxbPvTf5T3aeM9f5FWwNqoOywyox5
-RyjHp4dL0gF+imzugpVkce6H1y+UBQITUMfeyDZUQR2RfBRxFlOKfgwAq9lDDu9+
-DgPra5Yvy3z7klyL6B+Yd+4+nDC+jBXEHVoHHaUtmepIpjifxxwEcc6p3FN3WDze
-acNK880Ln8AHdmtkHIXY
-=fYQ8
+iQGTBAEBCAB9FiEEmjwdqGe+yMep/PbRaMUd5tdw5KYFAl31nRBfFIAAAAAALgAo
+aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDlB
+M0MxREE4NjdCRUM4QzdBOUZDRjZEMTY4QzUxREU2RDc3MEU0QTYACgkQaMUd5tdw
+5KZfrwf+PJTKPAUMnJ5rUFS0YDyN7vmP2c9nmQrCQIpQiCEktkymePRsXQ6h0XlO
+E+MFqGJQHGH50g+tc3F1qzpSXxz8lhSwGPoD0/8MKFycNP/2J93fKdX6feoTEg6X
+1y2jz9I1XLxqF9VUWJcJr/R+ucSBrVlo6/8ODgDQfTEgtVMO9pDowoCBELSc5zFg
+B0KPjdzeCvEeDoSjXe80rbFg7+GvEbl5wlD/Yx5I++Eypu/WXsQw2dPkFAdP+0nm
+jugS6CJEBrAkm3fHasNKUoBYDe4gpgXDSDvgEoQO3DYiHwqwf1RVIEgo6/CKPk+J
+1vn1aTfijF+GN1Cf0idvdazeKq0wdQ==
+=a7tc
-----END PGP SIGNATURE-----
diff --git a/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14440.ebuild b/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14440.ebuild
index a13a17a..84ff694 100644
--- a/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14440.ebuild
+++ b/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14440.ebuild
@@ -1,8 +1,7 @@
-# Copyright 1999-2010 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-# $Id$
-EAPI="2"
+EAPI="5"
inherit eutils
@@ -14,10 +13,10 @@ SRC_URI="http://vdr.websitec.de/download/${PN}/${P}.tgz"
LICENSE="GPL-2"
SLOT="0"
-KEYWORDS="~x86 ~amd64"
+KEYWORDS="~amd64 ~x86"
IUSE=""
-DEPEND="=media-video/reelbox-ehd-headers-${PV}
+DEPEND="=media-video/reelbox-ehd-headers-${PV}-r0
media-libs/libpng"
RDEPEND="${DEPEND}"
diff --git a/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14916.ebuild b/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14916.ebuild
index 926c9bb..f035095 100644
--- a/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14916.ebuild
+++ b/media-video/reelbox-ehd-tools/reelbox-ehd-tools-14916.ebuild
@@ -1,8 +1,7 @@
-# Copyright 1999-2012 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-# $Id$
-EAPI="4"
+EAPI="5"
inherit eutils
@@ -14,10 +13,10 @@ SRC_URI="http://vdr.websitec.de/download/${PN}/${P}.tgz"
LICENSE="GPL-2"
SLOT="0"
-KEYWORDS="~x86 ~amd64"
+KEYWORDS="~amd64 ~x86"
IUSE=""
-DEPEND="=media-video/reelbox-ehd-headers-${PV}"
+DEPEND="=media-video/reelbox-ehd-headers-${PV}-r0"
RDEPEND="${DEPEND}"
S=${WORKDIR}/hdshm3
^ permalink raw reply related [flat|nested] 2+ messages in thread
end of thread, other threads:[~2019-12-15 2:41 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2019-12-15 2:41 [gentoo-commits] proj/vdr/devel:master commit in: media-video/reelbox-ehd-tools/ Joerg Bornkessel
-- strict thread matches above, loose matches on Subject: below --
2016-05-15 19:48 Joerg Bornkessel
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox