public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] gentoo-x86 commit in media-plugins/gst-plugins-jpeg: ChangeLog gst-plugins-jpeg-0.10.30.ebuild
@ 2011-07-31  3:31 Mart Raudsepp (leio)
  0 siblings, 0 replies; 5+ messages in thread
From: Mart Raudsepp (leio) @ 2011-07-31  3:31 UTC (permalink / raw
  To: gentoo-commits

leio        11/07/31 03:31:32

  Modified:             ChangeLog
  Added:                gst-plugins-jpeg-0.10.30.ebuild
  Log:
  Version bump. Assorted bug fixes
  
  (Portage version: 2.2.0_alpha45/cvs/Linux x86_64)

Revision  Changes    Path
1.104                media-plugins/gst-plugins-jpeg/ChangeLog

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog?rev=1.104&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog?rev=1.104&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog?r1=1.103&r2=1.104

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog,v
retrieving revision 1.103
retrieving revision 1.104
diff -u -r1.103 -r1.104
--- ChangeLog	25 Jul 2011 18:07:12 -0000	1.103
+++ ChangeLog	31 Jul 2011 03:31:32 -0000	1.104
@@ -1,6 +1,12 @@
 # ChangeLog for media-plugins/gst-plugins-jpeg
 # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog,v 1.103 2011/07/25 18:07:12 xarthisius Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog,v 1.104 2011/07/31 03:31:32 leio Exp $
+
+*gst-plugins-jpeg-0.10.30 (31 Jul 2011)
+
+  31 Jul 2011; Mart Raudsepp <leio@gentoo.org>
+  +gst-plugins-jpeg-0.10.30.ebuild:
+  Version bump. Assorted bug fixes
 
   25 Jul 2011; Kacper Kowalik <xarthisius@gentoo.org>
   gst-plugins-jpeg-0.10.28.ebuild:



1.1                  media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild?rev=1.1&content-type=text/plain

Index: gst-plugins-jpeg-0.10.30.ebuild
===================================================================
# Copyright 1999-2011 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild,v 1.1 2011/07/31 03:31:32 leio Exp $

inherit gst-plugins-good

DESCRIPTION="GStreamer encoder/decoder for JPEG format"
KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ppc ~ppc64 ~sparc ~x86"
IUSE=""

RDEPEND="virtual/jpeg
	>=media-libs/gst-plugins-base-0.10.33"
DEPEND="${RDEPEND}"






^ permalink raw reply	[flat|nested] 5+ messages in thread

* [gentoo-commits] gentoo-x86 commit in media-plugins/gst-plugins-jpeg: ChangeLog gst-plugins-jpeg-0.10.30.ebuild
@ 2011-09-20  3:55 PaweA Hajdan (phajdan.jr)
  0 siblings, 0 replies; 5+ messages in thread
From: PaweA Hajdan (phajdan.jr) @ 2011-09-20  3:55 UTC (permalink / raw
  To: gentoo-commits

phajdan.jr    11/09/20 03:55:41

  Modified:             ChangeLog gst-plugins-jpeg-0.10.30.ebuild
  Log:
  x86 stable wrt bug #382225
  
  (Portage version: 2.1.10.11/cvs/Linux i686)

Revision  Changes    Path
1.105                media-plugins/gst-plugins-jpeg/ChangeLog

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog?rev=1.105&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog?rev=1.105&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog?r1=1.104&r2=1.105

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog,v
retrieving revision 1.104
retrieving revision 1.105
diff -u -r1.104 -r1.105
--- ChangeLog	31 Jul 2011 03:31:32 -0000	1.104
+++ ChangeLog	20 Sep 2011 03:55:41 -0000	1.105
@@ -1,6 +1,10 @@
 # ChangeLog for media-plugins/gst-plugins-jpeg
 # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog,v 1.104 2011/07/31 03:31:32 leio Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog,v 1.105 2011/09/20 03:55:41 phajdan.jr Exp $
+
+  20 Sep 2011; Pawel Hajdan jr <phajdan.jr@gentoo.org>
+  gst-plugins-jpeg-0.10.30.ebuild:
+  x86 stable wrt bug #382225
 
 *gst-plugins-jpeg-0.10.30 (31 Jul 2011)
 



1.2                  media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild?rev=1.2&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild?rev=1.2&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild?r1=1.1&r2=1.2

Index: gst-plugins-jpeg-0.10.30.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- gst-plugins-jpeg-0.10.30.ebuild	31 Jul 2011 03:31:32 -0000	1.1
+++ gst-plugins-jpeg-0.10.30.ebuild	20 Sep 2011 03:55:41 -0000	1.2
@@ -1,11 +1,11 @@
 # Copyright 1999-2011 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild,v 1.1 2011/07/31 03:31:32 leio Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild,v 1.2 2011/09/20 03:55:41 phajdan.jr Exp $
 
 inherit gst-plugins-good
 
 DESCRIPTION="GStreamer encoder/decoder for JPEG format"
-KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ppc ~ppc64 ~sparc ~x86"
+KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ppc ~ppc64 ~sparc x86"
 IUSE=""
 
 RDEPEND="virtual/jpeg






^ permalink raw reply	[flat|nested] 5+ messages in thread

* [gentoo-commits] gentoo-x86 commit in media-plugins/gst-plugins-jpeg: ChangeLog gst-plugins-jpeg-0.10.30.ebuild
@ 2011-09-25 21:07 Tony Vroon (chainsaw)
  0 siblings, 0 replies; 5+ messages in thread
From: Tony Vroon (chainsaw) @ 2011-09-25 21:07 UTC (permalink / raw
  To: gentoo-commits

chainsaw    11/09/25 21:07:20

  Modified:             ChangeLog gst-plugins-jpeg-0.10.30.ebuild
  Log:
  Marked stable on AMD64 based on arch testing by Agostino "ago" Sarubbo & Tomáš "Mepho" Pružina in bug #382225.
  
  (Portage version: 2.1.10.18/cvs/Linux x86_64)

Revision  Changes    Path
1.106                media-plugins/gst-plugins-jpeg/ChangeLog

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog?rev=1.106&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog?rev=1.106&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog?r1=1.105&r2=1.106

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog,v
retrieving revision 1.105
retrieving revision 1.106
diff -u -r1.105 -r1.106
--- ChangeLog	20 Sep 2011 03:55:41 -0000	1.105
+++ ChangeLog	25 Sep 2011 21:07:20 -0000	1.106
@@ -1,6 +1,11 @@
 # ChangeLog for media-plugins/gst-plugins-jpeg
 # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog,v 1.105 2011/09/20 03:55:41 phajdan.jr Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog,v 1.106 2011/09/25 21:07:20 chainsaw Exp $
+
+  25 Sep 2011; Tony Vroon <chainsaw@gentoo.org>
+  gst-plugins-jpeg-0.10.30.ebuild:
+  Marked stable on AMD64 based on arch testing by Agostino "ago" Sarubbo &
+  Tomáš "Mepho" Pružina in bug #382225.
 
   20 Sep 2011; Pawel Hajdan jr <phajdan.jr@gentoo.org>
   gst-plugins-jpeg-0.10.30.ebuild:



1.3                  media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild?r1=1.2&r2=1.3

Index: gst-plugins-jpeg-0.10.30.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- gst-plugins-jpeg-0.10.30.ebuild	20 Sep 2011 03:55:41 -0000	1.2
+++ gst-plugins-jpeg-0.10.30.ebuild	25 Sep 2011 21:07:20 -0000	1.3
@@ -1,11 +1,11 @@
 # Copyright 1999-2011 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild,v 1.2 2011/09/20 03:55:41 phajdan.jr Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild,v 1.3 2011/09/25 21:07:20 chainsaw Exp $
 
 inherit gst-plugins-good
 
 DESCRIPTION="GStreamer encoder/decoder for JPEG format"
-KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ppc ~ppc64 ~sparc x86"
+KEYWORDS="~alpha amd64 ~arm ~hppa ~ppc ~ppc64 ~sparc x86"
 IUSE=""
 
 RDEPEND="virtual/jpeg






^ permalink raw reply	[flat|nested] 5+ messages in thread

* [gentoo-commits] gentoo-x86 commit in media-plugins/gst-plugins-jpeg: ChangeLog gst-plugins-jpeg-0.10.30.ebuild
@ 2011-10-09 16:18 Raul Porcel (armin76)
  0 siblings, 0 replies; 5+ messages in thread
From: Raul Porcel (armin76) @ 2011-10-09 16:18 UTC (permalink / raw
  To: gentoo-commits

armin76     11/10/09 16:18:32

  Modified:             ChangeLog gst-plugins-jpeg-0.10.30.ebuild
  Log:
  alpha/sparc stable wrt #382225
  
  (Portage version: 2.1.10.11/cvs/Linux ia64)

Revision  Changes    Path
1.107                media-plugins/gst-plugins-jpeg/ChangeLog

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog?rev=1.107&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog?rev=1.107&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog?r1=1.106&r2=1.107

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog,v
retrieving revision 1.106
retrieving revision 1.107
diff -u -r1.106 -r1.107
--- ChangeLog	25 Sep 2011 21:07:20 -0000	1.106
+++ ChangeLog	9 Oct 2011 16:18:32 -0000	1.107
@@ -1,6 +1,10 @@
 # ChangeLog for media-plugins/gst-plugins-jpeg
 # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog,v 1.106 2011/09/25 21:07:20 chainsaw Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog,v 1.107 2011/10/09 16:18:32 armin76 Exp $
+
+  09 Oct 2011; Raúl Porcel <armin76@gentoo.org>
+  gst-plugins-jpeg-0.10.30.ebuild:
+  alpha/sparc stable wrt #382225
 
   25 Sep 2011; Tony Vroon <chainsaw@gentoo.org>
   gst-plugins-jpeg-0.10.30.ebuild:



1.4                  media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild?r1=1.3&r2=1.4

Index: gst-plugins-jpeg-0.10.30.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- gst-plugins-jpeg-0.10.30.ebuild	25 Sep 2011 21:07:20 -0000	1.3
+++ gst-plugins-jpeg-0.10.30.ebuild	9 Oct 2011 16:18:32 -0000	1.4
@@ -1,11 +1,11 @@
 # Copyright 1999-2011 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild,v 1.3 2011/09/25 21:07:20 chainsaw Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild,v 1.4 2011/10/09 16:18:32 armin76 Exp $
 
 inherit gst-plugins-good
 
 DESCRIPTION="GStreamer encoder/decoder for JPEG format"
-KEYWORDS="~alpha amd64 ~arm ~hppa ~ppc ~ppc64 ~sparc x86"
+KEYWORDS="alpha amd64 ~arm ~hppa ~ppc ~ppc64 sparc x86"
 IUSE=""
 
 RDEPEND="virtual/jpeg






^ permalink raw reply	[flat|nested] 5+ messages in thread

* [gentoo-commits] gentoo-x86 commit in media-plugins/gst-plugins-jpeg: ChangeLog gst-plugins-jpeg-0.10.30.ebuild
@ 2011-10-11 19:43 Jeroen Roovers (jer)
  0 siblings, 0 replies; 5+ messages in thread
From: Jeroen Roovers (jer) @ 2011-10-11 19:43 UTC (permalink / raw
  To: gentoo-commits

jer         11/10/11 19:43:24

  Modified:             ChangeLog gst-plugins-jpeg-0.10.30.ebuild
  Log:
  Stable for HPPA (bug #382225).
  
  (Portage version: 2.2.0_alpha66/cvs/Linux x86_64)

Revision  Changes    Path
1.108                media-plugins/gst-plugins-jpeg/ChangeLog

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog?rev=1.108&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog?rev=1.108&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog?r1=1.107&r2=1.108

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog,v
retrieving revision 1.107
retrieving revision 1.108
diff -u -r1.107 -r1.108
--- ChangeLog	9 Oct 2011 16:18:32 -0000	1.107
+++ ChangeLog	11 Oct 2011 19:43:24 -0000	1.108
@@ -1,6 +1,9 @@
 # ChangeLog for media-plugins/gst-plugins-jpeg
 # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog,v 1.107 2011/10/09 16:18:32 armin76 Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/ChangeLog,v 1.108 2011/10/11 19:43:24 jer Exp $
+
+  11 Oct 2011; Jeroen Roovers <jer@gentoo.org> gst-plugins-jpeg-0.10.30.ebuild:
+  Stable for HPPA (bug #382225).
 
   09 Oct 2011; Raúl Porcel <armin76@gentoo.org>
   gst-plugins-jpeg-0.10.30.ebuild:



1.5                  media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild?r1=1.4&r2=1.5

Index: gst-plugins-jpeg-0.10.30.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- gst-plugins-jpeg-0.10.30.ebuild	9 Oct 2011 16:18:32 -0000	1.4
+++ gst-plugins-jpeg-0.10.30.ebuild	11 Oct 2011 19:43:24 -0000	1.5
@@ -1,11 +1,11 @@
 # Copyright 1999-2011 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild,v 1.4 2011/10/09 16:18:32 armin76 Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/gst-plugins-jpeg/gst-plugins-jpeg-0.10.30.ebuild,v 1.5 2011/10/11 19:43:24 jer Exp $
 
 inherit gst-plugins-good
 
 DESCRIPTION="GStreamer encoder/decoder for JPEG format"
-KEYWORDS="alpha amd64 ~arm ~hppa ~ppc ~ppc64 sparc x86"
+KEYWORDS="alpha amd64 ~arm hppa ~ppc ~ppc64 sparc x86"
 IUSE=""
 
 RDEPEND="virtual/jpeg






^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2011-10-11 19:43 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2011-09-20  3:55 [gentoo-commits] gentoo-x86 commit in media-plugins/gst-plugins-jpeg: ChangeLog gst-plugins-jpeg-0.10.30.ebuild PaweA Hajdan (phajdan.jr)
  -- strict thread matches above, loose matches on Subject: below --
2011-10-11 19:43 Jeroen Roovers (jer)
2011-10-09 16:18 Raul Porcel (armin76)
2011-09-25 21:07 Tony Vroon (chainsaw)
2011-07-31  3:31 Mart Raudsepp (leio)

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox