* [meta-raspberrypi][PATCH V2] gstreamer1.0-plugins-bad_%.bbappend: Set PACKAGECONFIG_GL for RPi
@ 2016-11-03 20:57 Khem Raj
2016-11-03 21:27 ` Karim ATIKI
2016-11-08 10:30 ` Andrei Gherzan
0 siblings, 2 replies; 6+ messages in thread
From: Khem Raj @ 2016-11-03 20:57 UTC (permalink / raw)
To: yocto
Enable dispmanx support if using bcm driver
Signed-off-by: Khem Raj <raj.khem@gmail.com>
---
Changes from V1->V2:
- Remove spurious "
- Rearrange code
- Remove duplicate packageconfig for dispmanx
.../gstreamer/gstreamer1.0-plugins-bad_%.bbappend | 14 ++++++++++++--
1 file changed, 12 insertions(+), 2 deletions(-)
diff --git a/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend b/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
index ab0280e..7292f90 100644
--- a/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
+++ b/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
@@ -1,2 +1,12 @@
-EXTRA_OECONF_append_rpi = " CPPFLAGS='-I${STAGING_DIR_TARGET}/usr/include/interface/vcos/pthreads \
- -I${STAGING_DIR_TARGET}/usr/include/interface/vmcs_host/linux'"
+EXTRA_OECONF_append_rpi = " CPPFLAGS='-I${STAGING_INCDIR}/interface/vcos/pthreads \
+ -I${STAGING_INCDIR}/interface/vmcs_host/linux'"
+
+# if using bcm driver enable dispmanx not when using VC4 driver
+
+PACKAGECONFIG_append_rpi = "${@bb.utils.contains('MACHINE_FEATURES', 'vc4graphics', '', ' dispmanx', d)}"
+
+PACKAGECONFIG_GL_rpi = "egl gles2"
+
+PACKAGECONFIG_append_rpi = " hls libmms faad"
+
+PACKAGECONFIG[dispmanx] = "--enable-dispmanx,--disable-dispmanx,userland"
--
2.10.2
^ permalink raw reply related [flat|nested] 6+ messages in thread
* Re: [meta-raspberrypi][PATCH V2] gstreamer1.0-plugins-bad_%.bbappend: Set PACKAGECONFIG_GL for RPi
2016-11-03 20:57 [meta-raspberrypi][PATCH V2] gstreamer1.0-plugins-bad_%.bbappend: Set PACKAGECONFIG_GL for RPi Khem Raj
@ 2016-11-03 21:27 ` Karim ATIKI
2016-11-03 21:44 ` Khem Raj
2016-11-08 10:30 ` Andrei Gherzan
1 sibling, 1 reply; 6+ messages in thread
From: Karim ATIKI @ 2016-11-03 21:27 UTC (permalink / raw)
To: Khem Raj, yocto@yoctoproject.org
[-- Attachment #1: Type: text/plain, Size: 2510 bytes --]
Hi Khem,
I just tried to rebuild gstreamer1.0-plugins-bad from a clean checkout with your patch.
At first glance, it's working.
"bitbake gstreamer1.0-plugins-bad" succeeded but with a QA Warning:
gstreamer1.0-plugins-bad-1.8.3-r0 do_configure: QA Issue: gstreamer1.0-plugins-bad: invalid PACKAGECONFIG: "dispmanx [invalid-packageconfig]
Karim
________________________________
De : yocto-bounces@yoctoproject.org <yocto-bounces@yoctoproject.org> de la part de Khem Raj <raj.khem@gmail.com>
Envoyé : jeudi 3 novembre 2016 21:57
À : yocto@yoctoproject.org
Objet : [yocto] [meta-raspberrypi][PATCH V2] gstreamer1.0-plugins-bad_%.bbappend: Set PACKAGECONFIG_GL for RPi
Enable dispmanx support if using bcm driver
Signed-off-by: Khem Raj <raj.khem@gmail.com>
---
Changes from V1->V2:
- Remove spurious "
- Rearrange code
- Remove duplicate packageconfig for dispmanx
.../gstreamer/gstreamer1.0-plugins-bad_%.bbappend | 14 ++++++++++++--
1 file changed, 12 insertions(+), 2 deletions(-)
diff --git a/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend b/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
index ab0280e..7292f90 100644
--- a/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
+++ b/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
@@ -1,2 +1,12 @@
-EXTRA_OECONF_append_rpi = " CPPFLAGS='-I${STAGING_DIR_TARGET}/usr/include/interface/vcos/pthreads \
- -I${STAGING_DIR_TARGET}/usr/include/interface/vmcs_host/linux'"
+EXTRA_OECONF_append_rpi = " CPPFLAGS='-I${STAGING_INCDIR}/interface/vcos/pthreads \
+ -I${STAGING_INCDIR}/interface/vmcs_host/linux'"
+
+# if using bcm driver enable dispmanx not when using VC4 driver
+
+PACKAGECONFIG_append_rpi = "${@bb.utils.contains('MACHINE_FEATURES', 'vc4graphics', '', ' dispmanx', d)}"
+
+PACKAGECONFIG_GL_rpi = "egl gles2"
+
+PACKAGECONFIG_append_rpi = " hls libmms faad"
+
+PACKAGECONFIG[dispmanx] = "--enable-dispmanx,--disable-dispmanx,userland"
--
2.10.2
--
_______________________________________________
yocto mailing list
yocto@yoctoproject.org
https://lists.yoctoproject.org/listinfo/yocto
yocto Info Page<https://lists.yoctoproject.org/listinfo/yocto>
lists.yoctoproject.org
Discussion of all things about the Yocto Project. Read our Community Guidelines or learn more about how to participate in other community discussions.
[-- Attachment #2: Type: text/html, Size: 6011 bytes --]
^ permalink raw reply related [flat|nested] 6+ messages in thread
* Re: [meta-raspberrypi][PATCH V2] gstreamer1.0-plugins-bad_%.bbappend: Set PACKAGECONFIG_GL for RPi
2016-11-03 21:27 ` Karim ATIKI
@ 2016-11-03 21:44 ` Khem Raj
2016-11-04 10:10 ` Karim ATIKI
0 siblings, 1 reply; 6+ messages in thread
From: Khem Raj @ 2016-11-03 21:44 UTC (permalink / raw)
To: Karim ATIKI; +Cc: yocto@yoctoproject.org
[-- Attachment #1.1: Type: text/plain, Size: 3179 bytes --]
here is reworked patch
https://github.com/kraj/meta-raspberrypi/commit/468e28084a4d41e71fc0fde53b43033cd19ef9d5.patch <https://github.com/kraj/meta-raspberrypi/commit/468e28084a4d41e71fc0fde53b43033cd19ef9d5.patch>
try it again
> On Nov 3, 2016, at 2:27 PM, Karim ATIKI <karim_atiki@hotmail.com> wrote:
>
> Hi Khem,
>
> I just tried to rebuild gstreamer1.0-plugins-bad from a clean checkout with your patch.
> At first glance, it's working.
>
> "bitbake gstreamer1.0-plugins-bad" succeeded but with a QA Warning:
>
> gstreamer1.0-plugins-bad-1.8.3-r0 do_configure: QA Issue: gstreamer1.0-plugins-bad: invalid PACKAGECONFIG: "dispmanx [invalid-packageconfig]
>
> Karim
>
>
>
> De : yocto-bounces@yoctoproject.org <mailto:yocto-bounces@yoctoproject.org> <yocto-bounces@yoctoproject.org <mailto:yocto-bounces@yoctoproject.org>> de la part de Khem Raj <raj.khem@gmail.com <mailto:raj.khem@gmail.com>>
> Envoyé : jeudi 3 novembre 2016 21:57
> À : yocto@yoctoproject.org <mailto:yocto@yoctoproject.org>
> Objet : [yocto] [meta-raspberrypi][PATCH V2] gstreamer1.0-plugins-bad_%.bbappend: Set PACKAGECONFIG_GL for RPi
>
> Enable dispmanx support if using bcm driver
>
> Signed-off-by: Khem Raj <raj.khem@gmail.com <mailto:raj.khem@gmail.com>>
> ---
> Changes from V1->V2:
> - Remove spurious "
> - Rearrange code
> - Remove duplicate packageconfig for dispmanx
>
> .../gstreamer/gstreamer1.0-plugins-bad_%.bbappend | 14 ++++++++++++--
> 1 file changed, 12 insertions(+), 2 deletions(-)
>
> diff --git a/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend b/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
> index ab0280e..7292f90 100644
> --- a/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
> +++ b/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
> @@ -1,2 +1,12 @@
> -EXTRA_OECONF_append_rpi = " CPPFLAGS='-I${STAGING_DIR_TARGET}/usr/include/interface/vcos/pthreads \
> - -I${STAGING_DIR_TARGET}/usr/include/interface/vmcs_host/linux'"
> +EXTRA_OECONF_append_rpi = " CPPFLAGS='-I${STAGING_INCDIR}/interface/vcos/pthreads \
> + -I${STAGING_INCDIR}/interface/vmcs_host/linux'"
> +
> +# if using bcm driver enable dispmanx not when using VC4 driver
> +
> +PACKAGECONFIG_append_rpi = "${@bb.utils.contains('MACHINE_FEATURES', 'vc4graphics', '', ' dispmanx', d)}"
> +
> +PACKAGECONFIG_GL_rpi = "egl gles2"
> +
> +PACKAGECONFIG_append_rpi = " hls libmms faad"
> +
> +PACKAGECONFIG[dispmanx] = "--enable-dispmanx,--disable-dispmanx,userland"
> --
> 2.10.2
>
> --
> _______________________________________________
> yocto mailing list
> yocto@yoctoproject.org <mailto:yocto@yoctoproject.org>
> https://lists.yoctoproject.org/listinfo/yocto <https://lists.yoctoproject.org/listinfo/yocto>
> yocto Info Page <https://lists.yoctoproject.org/listinfo/yocto>
> lists.yoctoproject.org <http://lists.yoctoproject.org/>
> Discussion of all things about the Yocto Project. Read our Community Guidelines or learn more about how to participate in other community discussions.
[-- Attachment #1.2: Type: text/html, Size: 8506 bytes --]
[-- Attachment #2: Message signed with OpenPGP using GPGMail --]
[-- Type: application/pgp-signature, Size: 211 bytes --]
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [meta-raspberrypi][PATCH V2] gstreamer1.0-plugins-bad_%.bbappend: Set PACKAGECONFIG_GL for RPi
2016-11-03 21:44 ` Khem Raj
@ 2016-11-04 10:10 ` Karim ATIKI
2016-11-04 15:09 ` Khem Raj
0 siblings, 1 reply; 6+ messages in thread
From: Karim ATIKI @ 2016-11-04 10:10 UTC (permalink / raw)
To: Khem Raj; +Cc: yocto@yoctoproject.org
[-- Attachment #1: Type: text/plain, Size: 3328 bytes --]
Khem,
It worked successfuly.
No errors, no warnings.
Cheers,
Karim
________________________________
De : Khem Raj <raj.khem@gmail.com>
Envoyé : jeudi 3 novembre 2016 22:44
À : Karim ATIKI
Cc : yocto@yoctoproject.org
Objet : Re: [yocto] [meta-raspberrypi][PATCH V2] gstreamer1.0-plugins-bad_%.bbappend: Set PACKAGECONFIG_GL for RPi
here is reworked patch
https://github.com/kraj/meta-raspberrypi/commit/468e28084a4d41e71fc0fde53b43033cd19ef9d5.patch
try it again
On Nov 3, 2016, at 2:27 PM, Karim ATIKI <karim_atiki@hotmail.com<mailto:karim_atiki@hotmail.com>> wrote:
Hi Khem,
I just tried to rebuild gstreamer1.0-plugins-bad from a clean checkout with your patch.
At first glance, it's working.
"bitbake gstreamer1.0-plugins-bad" succeeded but with a QA Warning:
gstreamer1.0-plugins-bad-1.8.3-r0 do_configure: QA Issue: gstreamer1.0-plugins-bad: invalid PACKAGECONFIG: "dispmanx [invalid-packageconfig]
Karim
________________________________
De : yocto-bounces@yoctoproject.org<mailto:yocto-bounces@yoctoproject.org> <yocto-bounces@yoctoproject.org<mailto:yocto-bounces@yoctoproject.org>> de la part de Khem Raj <raj.khem@gmail.com<mailto:raj.khem@gmail.com>>
Envoyé : jeudi 3 novembre 2016 21:57
À : yocto@yoctoproject.org<mailto:yocto@yoctoproject.org>
Objet : [yocto] [meta-raspberrypi][PATCH V2] gstreamer1.0-plugins-bad_%.bbappend: Set PACKAGECONFIG_GL for RPi
Enable dispmanx support if using bcm driver
Signed-off-by: Khem Raj <raj.khem@gmail.com<mailto:raj.khem@gmail.com>>
---
Changes from V1->V2:
- Remove spurious "
- Rearrange code
- Remove duplicate packageconfig for dispmanx
.../gstreamer/gstreamer1.0-plugins-bad_%.bbappend | 14 ++++++++++++--
1 file changed, 12 insertions(+), 2 deletions(-)
diff --git a/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend b/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
index ab0280e..7292f90 100644
--- a/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
+++ b/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
@@ -1,2 +1,12 @@
-EXTRA_OECONF_append_rpi = " CPPFLAGS='-I${STAGING_DIR_TARGET}/usr/include/interface/vcos/pthreads \
- -I${STAGING_DIR_TARGET}/usr/include/interface/vmcs_host/linux'"
+EXTRA_OECONF_append_rpi = " CPPFLAGS='-I${STAGING_INCDIR}/interface/vcos/pthreads \
+ -I${STAGING_INCDIR}/interface/vmcs_host/linux'"
+
+# if using bcm driver enable dispmanx not when using VC4 driver
+
+PACKAGECONFIG_append_rpi = "${@bb.utils.contains('MACHINE_FEATURES', 'vc4graphics', '', ' dispmanx', d)}"
+
+PACKAGECONFIG_GL_rpi = "egl gles2"
+
+PACKAGECONFIG_append_rpi = " hls libmms faad"
+
+PACKAGECONFIG[dispmanx] = "--enable-dispmanx,--disable-dispmanx,userland"
--
2.10.2
--
_______________________________________________
yocto mailing list
yocto@yoctoproject.org<mailto:yocto@yoctoproject.org>
https://lists.yoctoproject.org/listinfo/yocto
yocto Info Page<https://lists.yoctoproject.org/listinfo/yocto>
lists.yoctoproject.org<http://lists.yoctoproject.org/>
Discussion of all things about the Yocto Project. Read our Community Guidelines or learn more about how to participate in other community discussions.
[-- Attachment #2: Type: text/html, Size: 9634 bytes --]
^ permalink raw reply related [flat|nested] 6+ messages in thread
* Re: [meta-raspberrypi][PATCH V2] gstreamer1.0-plugins-bad_%.bbappend: Set PACKAGECONFIG_GL for RPi
2016-11-04 10:10 ` Karim ATIKI
@ 2016-11-04 15:09 ` Khem Raj
0 siblings, 0 replies; 6+ messages in thread
From: Khem Raj @ 2016-11-04 15:09 UTC (permalink / raw)
To: Karim ATIKI; +Cc: yocto@yoctoproject.org
[-- Attachment #1: Type: text/plain, Size: 3381 bytes --]
thx
On Fri, Nov 4, 2016 at 3:10 AM, Karim ATIKI <karim_atiki@hotmail.com> wrote:
> Khem,
>
>
> It worked successfuly.
>
> No errors, no warnings.
>
> Cheers,
>
> Karim
>
> ------------------------------
> *De :* Khem Raj <raj.khem@gmail.com>
> *Envoyé :* jeudi 3 novembre 2016 22:44
> *À :* Karim ATIKI
> *Cc :* yocto@yoctoproject.org
> *Objet :* Re: [yocto] [meta-raspberrypi][PATCH V2]
> gstreamer1.0-plugins-bad_%.bbappend: Set PACKAGECONFIG_GL for RPi
>
> here is reworked patch
> https://github.com/kraj/meta-raspberrypi/commit/
> 468e28084a4d41e71fc0fde53b43033cd19ef9d5.patch
>
> try it again
>
> On Nov 3, 2016, at 2:27 PM, Karim ATIKI <karim_atiki@hotmail.com> wrote:
>
> Hi Khem,
>
> I just tried to rebuild gstreamer1.0-plugins-bad from a clean checkout
> with your patch.
> At first glance, it's working.
>
> "bitbake gstreamer1.0-plugins-bad" succeeded but with a QA Warning:
>
> gstreamer1.0-plugins-bad-1.8.3-r0 do_configure: QA Issue:
> gstreamer1.0-plugins-bad: invalid PACKAGECONFIG: "dispmanx
> [invalid-packageconfig]
>
> Karim
>
>
>
> ------------------------------
> *De :* yocto-bounces@yoctoproject.org <yocto-bounces@yoctoproject.org> de
> la part de Khem Raj <raj.khem@gmail.com>
> *Envoyé :* jeudi 3 novembre 2016 21:57
> *À :* yocto@yoctoproject.org
> *Objet :* [yocto] [meta-raspberrypi][PATCH V2] gstreamer1.0-plugins-bad_%.bbappend:
> Set PACKAGECONFIG_GL for RPi
>
> Enable dispmanx support if using bcm driver
>
> Signed-off-by: Khem Raj <raj.khem@gmail.com>
> ---
> Changes from V1->V2:
> - Remove spurious "
> - Rearrange code
> - Remove duplicate packageconfig for dispmanx
>
> .../gstreamer/gstreamer1.0-plugins-bad_%.bbappend | 14
> ++++++++++++--
> 1 file changed, 12 insertions(+), 2 deletions(-)
>
> diff --git a/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
> b/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
> index ab0280e..7292f90 100644
> --- a/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
> +++ b/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
> @@ -1,2 +1,12 @@
> -EXTRA_OECONF_append_rpi = " CPPFLAGS='-I${STAGING_DIR_
> TARGET}/usr/include/interface/vcos/pthreads \
> - -I${STAGING_DIR_TARGET}/usr/
> include/interface/vmcs_host/linux'"
> +EXTRA_OECONF_append_rpi = " CPPFLAGS='-I${STAGING_INCDIR}/interface/vcos/pthreads
> \
> + -I${STAGING_INCDIR}/interface/
> vmcs_host/linux'"
> +
> +# if using bcm driver enable dispmanx not when using VC4 driver
> +
> +PACKAGECONFIG_append_rpi = "${@bb.utils.contains('MACHINE_FEATURES',
> 'vc4graphics', '', ' dispmanx', d)}"
> +
> +PACKAGECONFIG_GL_rpi = "egl gles2"
> +
> +PACKAGECONFIG_append_rpi = " hls libmms faad"
> +
> +PACKAGECONFIG[dispmanx] = "--enable-dispmanx,--disable-dispmanx,userland"
> --
> 2.10.2
>
> --
> _______________________________________________
> yocto mailing list
> yocto@yoctoproject.org
> https://lists.yoctoproject.org/listinfo/yocto
> yocto Info Page <https://lists.yoctoproject.org/listinfo/yocto>
> lists.yoctoproject.org
> Discussion of all things about the Yocto Project. Read our Community
> Guidelines or learn more about how to participate in other community
> discussions.
>
>
>
[-- Attachment #2: Type: text/html, Size: 9406 bytes --]
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [meta-raspberrypi][PATCH V2] gstreamer1.0-plugins-bad_%.bbappend: Set PACKAGECONFIG_GL for RPi
2016-11-03 20:57 [meta-raspberrypi][PATCH V2] gstreamer1.0-plugins-bad_%.bbappend: Set PACKAGECONFIG_GL for RPi Khem Raj
2016-11-03 21:27 ` Karim ATIKI
@ 2016-11-08 10:30 ` Andrei Gherzan
1 sibling, 0 replies; 6+ messages in thread
From: Andrei Gherzan @ 2016-11-08 10:30 UTC (permalink / raw)
To: Khem Raj; +Cc: yocto
[-- Attachment #1: Type: text/plain, Size: 1747 bytes --]
On Thu, Nov 03, 2016 at 01:57:09PM -0700, Khem Raj wrote:
> Enable dispmanx support if using bcm driver
>
> Signed-off-by: Khem Raj <raj.khem@gmail.com>
> ---
> Changes from V1->V2:
> - Remove spurious "
> - Rearrange code
> - Remove duplicate packageconfig for dispmanx
>
> .../gstreamer/gstreamer1.0-plugins-bad_%.bbappend | 14 ++++++++++++--
> 1 file changed, 12 insertions(+), 2 deletions(-)
>
> diff --git a/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend b/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
> index ab0280e..7292f90 100644
> --- a/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
> +++ b/recipes-multimedia/gstreamer/gstreamer1.0-plugins-bad_%.bbappend
> @@ -1,2 +1,12 @@
> -EXTRA_OECONF_append_rpi = " CPPFLAGS='-I${STAGING_DIR_TARGET}/usr/include/interface/vcos/pthreads \
> - -I${STAGING_DIR_TARGET}/usr/include/interface/vmcs_host/linux'"
> +EXTRA_OECONF_append_rpi = " CPPFLAGS='-I${STAGING_INCDIR}/interface/vcos/pthreads \
> + -I${STAGING_INCDIR}/interface/vmcs_host/linux'"
> +
> +# if using bcm driver enable dispmanx not when using VC4 driver
> +
> +PACKAGECONFIG_append_rpi = "${@bb.utils.contains('MACHINE_FEATURES', 'vc4graphics', '', ' dispmanx', d)}"
> +
> +PACKAGECONFIG_GL_rpi = "egl gles2"
> +
> +PACKAGECONFIG_append_rpi = " hls libmms faad"
> +
> +PACKAGECONFIG[dispmanx] = "--enable-dispmanx,--disable-dispmanx,userland"
> --
> 2.10.2
>
> --
> _______________________________________________
> yocto mailing list
> yocto@yoctoproject.org
> https://lists.yoctoproject.org/listinfo/yocto
Merged to master. Thanks.
--
Andrei Gherzan
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 817 bytes --]
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2016-11-08 10:30 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-11-03 20:57 [meta-raspberrypi][PATCH V2] gstreamer1.0-plugins-bad_%.bbappend: Set PACKAGECONFIG_GL for RPi Khem Raj
2016-11-03 21:27 ` Karim ATIKI
2016-11-03 21:44 ` Khem Raj
2016-11-04 10:10 ` Karim ATIKI
2016-11-04 15:09 ` Khem Raj
2016-11-08 10:30 ` Andrei Gherzan
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.