* [PATCH v1 0/4] arm: dts: colibri-imx6: usb dual-role switching et. al.
@ 2022-09-20 9:22 Marcel Ziswiler
2022-09-20 9:22 ` [PATCH v1 1/4] arm: dts: colibri-imx6: usb dual-role switching Marcel Ziswiler
` (3 more replies)
0 siblings, 4 replies; 8+ messages in thread
From: Marcel Ziswiler @ 2022-09-20 9:22 UTC (permalink / raw)
To: linux-arm-kernel
Cc: Marcel Ziswiler, Fabio Estevam, Krzysztof Kozlowski,
NXP Linux Team, Pengutronix Kernel Team, Rob Herring,
Sascha Hauer, Shawn Guo, devicetree, linux-kernel
From: Marcel Ziswiler <marcel.ziswiler@toradex.com>
This series is an assortment of USB dual-role specific commits as
follows:
Introduce USBC_DET GPIO based USB dual-role aka device/host switching.
Move USB VBUS supply from single carrier board to module level device
tree. This pin is as per Colibri module family standard.
Specify USBH_PEN GPIO being active-low rather than active-high
(cosmetic only).
Remove spurious debounce property from linux,extcon-usb-gpio. That
commit is actually for Colibri iMX7.
Marcel Ziswiler (3):
arm: dts: colibri-imx6: move vbus-supply to module level device tree
arm: dts: colibri-imx6: specify usbh_pen gpio being active-low
arm: dts: imx7-colibri: remove spurious debounce property
Philippe Schenker (1):
arm: dts: colibri-imx6: usb dual-role switching
arch/arm/boot/dts/imx6dl-colibri-aster.dts | 1 -
arch/arm/boot/dts/imx6dl-colibri-eval-v3.dts | 1 -
arch/arm/boot/dts/imx6dl-colibri-iris.dts | 1 -
arch/arm/boot/dts/imx6qdl-colibri.dtsi | 22 ++++++++++++++++----
arch/arm/boot/dts/imx7-colibri.dtsi | 1 -
5 files changed, 18 insertions(+), 8 deletions(-)
--
2.36.1
_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel
^ permalink raw reply [flat|nested] 8+ messages in thread
* [PATCH v1 1/4] arm: dts: colibri-imx6: usb dual-role switching
2022-09-20 9:22 [PATCH v1 0/4] arm: dts: colibri-imx6: usb dual-role switching et. al Marcel Ziswiler
@ 2022-09-20 9:22 ` Marcel Ziswiler
2022-09-20 9:22 ` [PATCH v1 2/4] arm: dts: colibri-imx6: move vbus-supply to module level device tree Marcel Ziswiler
` (2 subsequent siblings)
3 siblings, 0 replies; 8+ messages in thread
From: Marcel Ziswiler @ 2022-09-20 9:22 UTC (permalink / raw)
To: linux-arm-kernel
Cc: Philippe Schenker, Marcel Ziswiler, Fabio Estevam,
Krzysztof Kozlowski, NXP Linux Team, Pengutronix Kernel Team,
Rob Herring, Sascha Hauer, Shawn Guo, devicetree, linux-kernel
From: Philippe Schenker <philippe.schenker@toradex.com>
Introduce USBC_DET GPIO based USB dual-role aka device/host switching.
While at it re-work pinmux comment adding SODIMM number to the USBC_DET
entry.
Signed-off-by: Philippe Schenker <philippe.schenker@toradex.com>
Signed-off-by: Marcel Ziswiler <marcel.ziswiler@toradex.com>
---
arch/arm/boot/dts/imx6qdl-colibri.dtsi | 13 +++++++++++--
1 file changed, 11 insertions(+), 2 deletions(-)
diff --git a/arch/arm/boot/dts/imx6qdl-colibri.dtsi b/arch/arm/boot/dts/imx6qdl-colibri.dtsi
index 023e76215064..3e98b5da0cc6 100644
--- a/arch/arm/boot/dts/imx6qdl-colibri.dtsi
+++ b/arch/arm/boot/dts/imx6qdl-colibri.dtsi
@@ -24,6 +24,13 @@ backlight: backlight {
status = "disabled";
};
+ extcon_usbc_det: usbc-det {
+ compatible = "linux,extcon-usb-gpio";
+ id-gpio = <&gpio7 12 GPIO_ACTIVE_HIGH>; /* SODIMM 137 / USBC_DET */
+ pinctrl-names = "default";
+ pinctrl-0 = <&pinctrl_usbc_det>;
+ };
+
gpio-keys {
compatible = "gpio-keys";
pinctrl-names = "default";
@@ -670,9 +677,11 @@ &uart3 {
status = "disabled";
};
+/* Colibri USBC */
&usbotg {
disable-over-current;
- dr_mode = "peripheral";
+ dr_mode = "otg";
+ extcon = <0>, <&extcon_usbc_det>;
status = "disabled";
};
@@ -1055,7 +1064,7 @@ MX6QDL_PAD_SD4_CMD__UART3_RX_DATA 0x1b0b1
pinctrl_usbc_det: usbcdetgrp {
fsl,pins = <
- /* USBC_DET */
+ /* SODIMM 137 / USBC_DET */
MX6QDL_PAD_GPIO_17__GPIO7_IO12 0x1b0b0
/* USBC_DET_OVERWRITE */
MX6QDL_PAD_RGMII_RXC__GPIO6_IO30 0x0f058
--
2.36.1
_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel
^ permalink raw reply related [flat|nested] 8+ messages in thread
* [PATCH v1 2/4] arm: dts: colibri-imx6: move vbus-supply to module level device tree
2022-09-20 9:22 [PATCH v1 0/4] arm: dts: colibri-imx6: usb dual-role switching et. al Marcel Ziswiler
2022-09-20 9:22 ` [PATCH v1 1/4] arm: dts: colibri-imx6: usb dual-role switching Marcel Ziswiler
@ 2022-09-20 9:22 ` Marcel Ziswiler
2022-09-20 9:22 ` [PATCH v1 3/4] arm: dts: colibri-imx6: specify usbh_pen gpio being active-low Marcel Ziswiler
2022-09-20 9:22 ` [PATCH v1 4/4] arm: dts: imx7-colibri: remove spurious debounce property Marcel Ziswiler
3 siblings, 0 replies; 8+ messages in thread
From: Marcel Ziswiler @ 2022-09-20 9:22 UTC (permalink / raw)
To: linux-arm-kernel
Cc: Marcel Ziswiler, Fabio Estevam, Krzysztof Kozlowski,
NXP Linux Team, Pengutronix Kernel Team, Rob Herring,
Sascha Hauer, Shawn Guo, devicetree, linux-kernel
From: Marcel Ziswiler <marcel.ziswiler@toradex.com>
Move USB VBUS supply from single carrier board to module level device
tree. This pin is as per Colibri module family standard.
Signed-off-by: Marcel Ziswiler <marcel.ziswiler@toradex.com>
---
arch/arm/boot/dts/imx6dl-colibri-aster.dts | 1 -
arch/arm/boot/dts/imx6dl-colibri-eval-v3.dts | 1 -
arch/arm/boot/dts/imx6dl-colibri-iris.dts | 1 -
arch/arm/boot/dts/imx6qdl-colibri.dtsi | 9 +++++++--
4 files changed, 7 insertions(+), 5 deletions(-)
diff --git a/arch/arm/boot/dts/imx6dl-colibri-aster.dts b/arch/arm/boot/dts/imx6dl-colibri-aster.dts
index 74e8a6cd8bed..a28e083f29d5 100644
--- a/arch/arm/boot/dts/imx6dl-colibri-aster.dts
+++ b/arch/arm/boot/dts/imx6dl-colibri-aster.dts
@@ -99,7 +99,6 @@ &uart3 {
};
&usbh1 {
- vbus-supply = <®_usb_host_vbus>;
status = "okay";
};
diff --git a/arch/arm/boot/dts/imx6dl-colibri-eval-v3.dts b/arch/arm/boot/dts/imx6dl-colibri-eval-v3.dts
index 7272edd85a49..a02981d4a3fc 100644
--- a/arch/arm/boot/dts/imx6dl-colibri-eval-v3.dts
+++ b/arch/arm/boot/dts/imx6dl-colibri-eval-v3.dts
@@ -111,7 +111,6 @@ &uart3 {
};
&usbh1 {
- vbus-supply = <®_usb_host_vbus>;
status = "okay";
};
diff --git a/arch/arm/boot/dts/imx6dl-colibri-iris.dts b/arch/arm/boot/dts/imx6dl-colibri-iris.dts
index cf77d894f6d7..c5797ff35b71 100644
--- a/arch/arm/boot/dts/imx6dl-colibri-iris.dts
+++ b/arch/arm/boot/dts/imx6dl-colibri-iris.dts
@@ -138,7 +138,6 @@ &uart3 {
};
&usbh1 {
- vbus-supply = <®_usb_host_vbus>;
status = "okay";
};
diff --git a/arch/arm/boot/dts/imx6qdl-colibri.dtsi b/arch/arm/boot/dts/imx6qdl-colibri.dtsi
index 3e98b5da0cc6..21c5049bda4e 100644
--- a/arch/arm/boot/dts/imx6qdl-colibri.dtsi
+++ b/arch/arm/boot/dts/imx6qdl-colibri.dtsi
@@ -112,7 +112,7 @@ reg_module_3v3_audio: regulator-module-3v3-audio {
reg_usb_host_vbus: regulator-usb-host-vbus {
compatible = "regulator-fixed";
- gpio = <&gpio3 31 GPIO_ACTIVE_HIGH>; /* USBH_PEN */
+ gpio = <&gpio3 31 GPIO_ACTIVE_HIGH>; /* SODIMM 129 / USBH_PEN */
pinctrl-names = "default";
pinctrl-0 = <&pinctrl_regulator_usbh_pwr>;
regulator-max-microvolt = <5000000>;
@@ -677,6 +677,11 @@ &uart3 {
status = "disabled";
};
+/* Colibri USBH */
+&usbh1 {
+ vbus-supply = <®_usb_host_vbus>;
+};
+
/* Colibri USBC */
&usbotg {
disable-over-current;
@@ -995,7 +1000,7 @@ MX6QDL_PAD_SD4_DAT2__PWM4_OUT 0x1b0b1
pinctrl_regulator_usbh_pwr: gpioregusbhpwrgrp {
fsl,pins = <
- /* USBH_EN */
+ /* SODIMM 129 / USBH_PEN */
MX6QDL_PAD_EIM_D31__GPIO3_IO31 0x0f058
>;
};
--
2.36.1
_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel
^ permalink raw reply related [flat|nested] 8+ messages in thread
* [PATCH v1 3/4] arm: dts: colibri-imx6: specify usbh_pen gpio being active-low
2022-09-20 9:22 [PATCH v1 0/4] arm: dts: colibri-imx6: usb dual-role switching et. al Marcel Ziswiler
2022-09-20 9:22 ` [PATCH v1 1/4] arm: dts: colibri-imx6: usb dual-role switching Marcel Ziswiler
2022-09-20 9:22 ` [PATCH v1 2/4] arm: dts: colibri-imx6: move vbus-supply to module level device tree Marcel Ziswiler
@ 2022-09-20 9:22 ` Marcel Ziswiler
2022-09-20 9:22 ` [PATCH v1 4/4] arm: dts: imx7-colibri: remove spurious debounce property Marcel Ziswiler
3 siblings, 0 replies; 8+ messages in thread
From: Marcel Ziswiler @ 2022-09-20 9:22 UTC (permalink / raw)
To: linux-arm-kernel
Cc: Marcel Ziswiler, Fabio Estevam, Krzysztof Kozlowski,
NXP Linux Team, Pengutronix Kernel Team, Rob Herring,
Sascha Hauer, Shawn Guo, devicetree, linux-kernel
From: Marcel Ziswiler <marcel.ziswiler@toradex.com>
Specify USBH_PEN GPIO being active-low rather than active-high.
Note that this should not have any functional impact as for fixed
regulators the regular GPIO polarity is ignored and a true active-high
enable GPIO would need an additional enable-active-high property which
is/was not the case here. However, this may be rather confusing which
this patch fixes.
Signed-off-by: Marcel Ziswiler <marcel.ziswiler@toradex.com>
---
arch/arm/boot/dts/imx6qdl-colibri.dtsi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/arch/arm/boot/dts/imx6qdl-colibri.dtsi b/arch/arm/boot/dts/imx6qdl-colibri.dtsi
index 21c5049bda4e..d8f985f297e4 100644
--- a/arch/arm/boot/dts/imx6qdl-colibri.dtsi
+++ b/arch/arm/boot/dts/imx6qdl-colibri.dtsi
@@ -112,7 +112,7 @@ reg_module_3v3_audio: regulator-module-3v3-audio {
reg_usb_host_vbus: regulator-usb-host-vbus {
compatible = "regulator-fixed";
- gpio = <&gpio3 31 GPIO_ACTIVE_HIGH>; /* SODIMM 129 / USBH_PEN */
+ gpio = <&gpio3 31 GPIO_ACTIVE_LOW>; /* SODIMM 129 / USBH_PEN */
pinctrl-names = "default";
pinctrl-0 = <&pinctrl_regulator_usbh_pwr>;
regulator-max-microvolt = <5000000>;
--
2.36.1
_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel
^ permalink raw reply related [flat|nested] 8+ messages in thread
* [PATCH v1 4/4] arm: dts: imx7-colibri: remove spurious debounce property
2022-09-20 9:22 [PATCH v1 0/4] arm: dts: colibri-imx6: usb dual-role switching et. al Marcel Ziswiler
` (2 preceding siblings ...)
2022-09-20 9:22 ` [PATCH v1 3/4] arm: dts: colibri-imx6: specify usbh_pen gpio being active-low Marcel Ziswiler
@ 2022-09-20 9:22 ` Marcel Ziswiler
2022-09-21 12:15 ` Francesco Dolcini
3 siblings, 1 reply; 8+ messages in thread
From: Marcel Ziswiler @ 2022-09-20 9:22 UTC (permalink / raw)
To: linux-arm-kernel
Cc: Marcel Ziswiler, Fabio Estevam, Krzysztof Kozlowski,
NXP Linux Team, Pengutronix Kernel Team, Rob Herring,
Sascha Hauer, Shawn Guo, devicetree, linux-kernel
From: Marcel Ziswiler <marcel.ziswiler@toradex.com>
Remove spurious debounce property from linux,extcon-usb-gpio.
Note that debouncing is hard-coded to 20 ms (USB_GPIO_DEBOUNCE_MS
define).
Fixes: 0ef1969ea569 ("ARM: dts: imx7-colibri: move aliases, chosen, extcon and gpio-keys")
Signed-off-by: Marcel Ziswiler <marcel.ziswiler@toradex.com>
---
arch/arm/boot/dts/imx7-colibri.dtsi | 1 -
1 file changed, 1 deletion(-)
diff --git a/arch/arm/boot/dts/imx7-colibri.dtsi b/arch/arm/boot/dts/imx7-colibri.dtsi
index a8c31ee65623..840420f9a1cd 100644
--- a/arch/arm/boot/dts/imx7-colibri.dtsi
+++ b/arch/arm/boot/dts/imx7-colibri.dtsi
@@ -29,7 +29,6 @@ chosen {
extcon_usbc_det: usbc-det {
compatible = "linux,extcon-usb-gpio";
- debounce = <25>;
id-gpio = <&gpio7 14 GPIO_ACTIVE_HIGH>; /* SODIMM 137 / USBC_DET */
pinctrl-names = "default";
pinctrl-0 = <&pinctrl_usbc_det>;
--
2.36.1
_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel
^ permalink raw reply related [flat|nested] 8+ messages in thread
* Re: [PATCH v1 4/4] arm: dts: imx7-colibri: remove spurious debounce property
2022-09-20 9:22 ` [PATCH v1 4/4] arm: dts: imx7-colibri: remove spurious debounce property Marcel Ziswiler
@ 2022-09-21 12:15 ` Francesco Dolcini
2022-09-21 12:23 ` Greg Kroah-Hartman
0 siblings, 1 reply; 8+ messages in thread
From: Francesco Dolcini @ 2022-09-21 12:15 UTC (permalink / raw)
To: Marcel Ziswiler, Greg Kroah-Hartman
Cc: linux-arm-kernel, Marcel Ziswiler, Fabio Estevam,
Krzysztof Kozlowski, NXP Linux Team, Pengutronix Kernel Team,
Rob Herring, Sascha Hauer, Shawn Guo, devicetree, linux-kernel
+Greg, to get an opinion on the fixes tag.
On Tue, Sep 20, 2022 at 11:22:27AM +0200, Marcel Ziswiler wrote:
> From: Marcel Ziswiler <marcel.ziswiler@toradex.com>
>
> Remove spurious debounce property from linux,extcon-usb-gpio.
>
> Note that debouncing is hard-coded to 20 ms (USB_GPIO_DEBOUNCE_MS
> define).
>
> Fixes: 0ef1969ea569 ("ARM: dts: imx7-colibri: move aliases, chosen, extcon and gpio-keys")
> Signed-off-by: Marcel Ziswiler <marcel.ziswiler@toradex.com>
Hello all,
we did have some (internal) discussion if this patch should have the
fixes tag or not.
I do personally think it should not have it and should not be backported
to stable tree, since this is not fixing a real bug, it's just a
cleanup.
On the other hand the original patch was not correct, and this change is
making it right.
What is the general opinion on this topic? What do the stable kernel
maintainers would expect?
Documentation/process/stable-kernel-rules.rst is about rules for
backporting, it does not really talk about the fixes tag, but today this
is used to decide if a patch should be backported or not.
Francesco
_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: [PATCH v1 4/4] arm: dts: imx7-colibri: remove spurious debounce property
2022-09-21 12:15 ` Francesco Dolcini
@ 2022-09-21 12:23 ` Greg Kroah-Hartman
2022-09-21 12:28 ` Francesco Dolcini
0 siblings, 1 reply; 8+ messages in thread
From: Greg Kroah-Hartman @ 2022-09-21 12:23 UTC (permalink / raw)
To: Francesco Dolcini
Cc: Marcel Ziswiler, linux-arm-kernel, Marcel Ziswiler,
Fabio Estevam, Krzysztof Kozlowski, NXP Linux Team,
Pengutronix Kernel Team, Rob Herring, Sascha Hauer, Shawn Guo,
devicetree, linux-kernel
On Wed, Sep 21, 2022 at 02:15:05PM +0200, Francesco Dolcini wrote:
> +Greg, to get an opinion on the fixes tag.
>
> On Tue, Sep 20, 2022 at 11:22:27AM +0200, Marcel Ziswiler wrote:
> > From: Marcel Ziswiler <marcel.ziswiler@toradex.com>
> >
> > Remove spurious debounce property from linux,extcon-usb-gpio.
> >
> > Note that debouncing is hard-coded to 20 ms (USB_GPIO_DEBOUNCE_MS
> > define).
> >
> > Fixes: 0ef1969ea569 ("ARM: dts: imx7-colibri: move aliases, chosen, extcon and gpio-keys")
> > Signed-off-by: Marcel Ziswiler <marcel.ziswiler@toradex.com>
>
> Hello all,
> we did have some (internal) discussion if this patch should have the
> fixes tag or not.
>
> I do personally think it should not have it and should not be backported
> to stable tree, since this is not fixing a real bug, it's just a
> cleanup.
If it's not a real bug, why would you have a Fixes: tag on the commit?
> On the other hand the original patch was not correct, and this change is
> making it right.
Ah, so it is a bugfix.
> What is the general opinion on this topic? What do the stable kernel
> maintainers would expect?
It's up to you, but what is the problem with it being backported?
> Documentation/process/stable-kernel-rules.rst is about rules for
> backporting, it does not really talk about the fixes tag, but today this
> is used to decide if a patch should be backported or not.
We use Fixes: as a signal from maintainers and developers that do not
normally use the cc: stable@ as documented to pick up things that look
like fixes but someone forgot to ask to be backported.
It's not a guarantee it will be backported, like cc: stable will be, but
it is a hint to us that maybe it should be looked at.
thanks,
greg k-h
_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: [PATCH v1 4/4] arm: dts: imx7-colibri: remove spurious debounce property
2022-09-21 12:23 ` Greg Kroah-Hartman
@ 2022-09-21 12:28 ` Francesco Dolcini
0 siblings, 0 replies; 8+ messages in thread
From: Francesco Dolcini @ 2022-09-21 12:28 UTC (permalink / raw)
To: Greg Kroah-Hartman
Cc: Francesco Dolcini, Marcel Ziswiler, linux-arm-kernel,
Marcel Ziswiler, Fabio Estevam, Krzysztof Kozlowski,
NXP Linux Team, Pengutronix Kernel Team, Rob Herring,
Sascha Hauer, Shawn Guo, devicetree, linux-kernel
On Wed, Sep 21, 2022 at 02:23:17PM +0200, Greg Kroah-Hartman wrote:
> On Wed, Sep 21, 2022 at 02:15:05PM +0200, Francesco Dolcini wrote:
> > +Greg, to get an opinion on the fixes tag.
> >
> > On Tue, Sep 20, 2022 at 11:22:27AM +0200, Marcel Ziswiler wrote:
> > > From: Marcel Ziswiler <marcel.ziswiler@toradex.com>
> > >
> > > Remove spurious debounce property from linux,extcon-usb-gpio.
> > >
> > > Note that debouncing is hard-coded to 20 ms (USB_GPIO_DEBOUNCE_MS
> > > define).
> > >
> > > Fixes: 0ef1969ea569 ("ARM: dts: imx7-colibri: move aliases, chosen, extcon and gpio-keys")
> > > Signed-off-by: Marcel Ziswiler <marcel.ziswiler@toradex.com>
> >
> > Hello all,
> > we did have some (internal) discussion if this patch should have the
> > fixes tag or not.
> >
> > I do personally think it should not have it and should not be backported
> > to stable tree, since this is not fixing a real bug, it's just a
> > cleanup.
>
> If it's not a real bug, why would you have a Fixes: tag on the commit?
>
> > On the other hand the original patch was not correct, and this change is
> > making it right.
>
> Ah, so it is a bugfix.
The DTS file should not contain this unknown property, however having
this property present does not change the behavior of the code.
It's more like an unused variable kind of error that could trigger a
warning in the compiler.
Francesco
_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2022-09-21 12:29 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-09-20 9:22 [PATCH v1 0/4] arm: dts: colibri-imx6: usb dual-role switching et. al Marcel Ziswiler
2022-09-20 9:22 ` [PATCH v1 1/4] arm: dts: colibri-imx6: usb dual-role switching Marcel Ziswiler
2022-09-20 9:22 ` [PATCH v1 2/4] arm: dts: colibri-imx6: move vbus-supply to module level device tree Marcel Ziswiler
2022-09-20 9:22 ` [PATCH v1 3/4] arm: dts: colibri-imx6: specify usbh_pen gpio being active-low Marcel Ziswiler
2022-09-20 9:22 ` [PATCH v1 4/4] arm: dts: imx7-colibri: remove spurious debounce property Marcel Ziswiler
2022-09-21 12:15 ` Francesco Dolcini
2022-09-21 12:23 ` Greg Kroah-Hartman
2022-09-21 12:28 ` Francesco Dolcini
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).