* [PATCH] image: remove / entry from fstab template
@ 2022-10-04 11:46 Henning Schild
2022-10-04 11:53 ` Henning Schild
` (4 more replies)
0 siblings, 5 replies; 13+ messages in thread
From: Henning Schild @ 2022-10-04 11:46 UTC (permalink / raw)
To: isar-users; +Cc: Felix Moessbauer, Jan Kiszka, Henning Schild
An fstab entry for / should usually not be required. It just makes a
rootfs less portable (USB vs. NFS, vs. SSD). The kernel is the one
that should know which fs to mount and how. That is done via a bootloader.
Should additional mount options be needed for a concrete image, an
imager like wic might add an entry. i.e. for adding fspassno or
x-systemd.growfs
So to make the rootfs more generic and to allow imagers to add their
individual / lines, instead of having to modify an existing one, remove
the line from the template.
Signed-off-by: Henning Schild <henning.schild@siemens.com>
---
meta/classes/image.bbclass | 1 -
1 file changed, 1 deletion(-)
diff --git a/meta/classes/image.bbclass b/meta/classes/image.bbclass
index ccff81066178..d8d605d3af07 100644
--- a/meta/classes/image.bbclass
+++ b/meta/classes/image.bbclass
@@ -327,7 +327,6 @@ image_configure_fstab[weight] = "2"
image_configure_fstab() {
sudo tee '${IMAGE_ROOTFS}/etc/fstab' << EOF
# Begin /etc/fstab
-/dev/root / auto defaults 0 0
proc /proc proc nosuid,noexec,nodev 0 0
sysfs /sys sysfs nosuid,noexec,nodev 0 0
devpts /dev/pts devpts gid=5,mode=620 0 0
--
2.35.1
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] image: remove / entry from fstab template
2022-10-04 11:46 [PATCH] image: remove / entry from fstab template Henning Schild
@ 2022-10-04 11:53 ` Henning Schild
2022-10-04 11:54 ` Jan Kiszka
` (3 subsequent siblings)
4 siblings, 0 replies; 13+ messages in thread
From: Henning Schild @ 2022-10-04 11:53 UTC (permalink / raw)
To: isar-users; +Cc: Felix Moessbauer, Jan Kiszka
Hi,
i think this one does not need an entry in the recipe changelog.
But i am not sure about recipes-support/enable-fsck, it might be
affected by a missing / line. Unless it is only used together with wic,
in which case the change it does at first boot can maybe be moved into
the wks.
I think that whole package was written at a time where wic could not
yet create / lines, which it now can.
regards,
Henning
Am Tue, 4 Oct 2022 13:46:29 +0200
schrieb Henning Schild <henning.schild@siemens.com>:
> An fstab entry for / should usually not be required. It just makes a
> rootfs less portable (USB vs. NFS, vs. SSD). The kernel is the one
> that should know which fs to mount and how. That is done via a
> bootloader.
>
> Should additional mount options be needed for a concrete image, an
> imager like wic might add an entry. i.e. for adding fspassno or
> x-systemd.growfs
>
> So to make the rootfs more generic and to allow imagers to add their
> individual / lines, instead of having to modify an existing one,
> remove the line from the template.
>
> Signed-off-by: Henning Schild <henning.schild@siemens.com>
> ---
> meta/classes/image.bbclass | 1 -
> 1 file changed, 1 deletion(-)
>
> diff --git a/meta/classes/image.bbclass b/meta/classes/image.bbclass
> index ccff81066178..d8d605d3af07 100644
> --- a/meta/classes/image.bbclass
> +++ b/meta/classes/image.bbclass
> @@ -327,7 +327,6 @@ image_configure_fstab[weight] = "2"
> image_configure_fstab() {
> sudo tee '${IMAGE_ROOTFS}/etc/fstab' << EOF
> # Begin /etc/fstab
> -/dev/root / auto
> defaults 0 0 proc /proc
> proc nosuid,noexec,nodev 0 0
> sysfs /sys sysfs
> nosuid,noexec,nodev 0 0 devpts
> /dev/pts devpts gid=5,mode=620
> 0 0
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] image: remove / entry from fstab template
2022-10-04 11:46 [PATCH] image: remove / entry from fstab template Henning Schild
2022-10-04 11:53 ` Henning Schild
@ 2022-10-04 11:54 ` Jan Kiszka
2022-10-04 12:21 ` Henning Schild
2022-10-11 18:03 ` Anton Mikanovich
` (2 subsequent siblings)
4 siblings, 1 reply; 13+ messages in thread
From: Jan Kiszka @ 2022-10-04 11:54 UTC (permalink / raw)
To: Henning Schild, isar-users; +Cc: Felix Moessbauer
On 04.10.22 13:46, Henning Schild wrote:
> An fstab entry for / should usually not be required. It just makes a
> rootfs less portable (USB vs. NFS, vs. SSD). The kernel is the one
> that should know which fs to mount and how. That is done via a bootloader.
>
> Should additional mount options be needed for a concrete image, an
> imager like wic might add an entry. i.e. for adding fspassno or
> x-systemd.growfs
>
> So to make the rootfs more generic and to allow imagers to add their
> individual / lines, instead of having to modify an existing one, remove
> the line from the template.
>
> Signed-off-by: Henning Schild <henning.schild@siemens.com>
> ---
> meta/classes/image.bbclass | 1 -
> 1 file changed, 1 deletion(-)
>
> diff --git a/meta/classes/image.bbclass b/meta/classes/image.bbclass
> index ccff81066178..d8d605d3af07 100644
> --- a/meta/classes/image.bbclass
> +++ b/meta/classes/image.bbclass
> @@ -327,7 +327,6 @@ image_configure_fstab[weight] = "2"
> image_configure_fstab() {
> sudo tee '${IMAGE_ROOTFS}/etc/fstab' << EOF
> # Begin /etc/fstab
> -/dev/root / auto defaults 0 0
> proc /proc proc nosuid,noexec,nodev 0 0
> sysfs /sys sysfs nosuid,noexec,nodev 0 0
> devpts /dev/pts devpts gid=5,mode=620 0 0
This works also for other imagers than wic? Just poking to avoid that we
miss the case where this was once added for (if that exists).
Jan
--
Siemens AG, Technology
Competence Center Embedded Linux
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] image: remove / entry from fstab template
2022-10-04 11:54 ` Jan Kiszka
@ 2022-10-04 12:21 ` Henning Schild
0 siblings, 0 replies; 13+ messages in thread
From: Henning Schild @ 2022-10-04 12:21 UTC (permalink / raw)
To: Jan Kiszka; +Cc: isar-users, Felix Moessbauer
Am Tue, 4 Oct 2022 13:54:38 +0200
schrieb Jan Kiszka <jan.kiszka@siemens.com>:
> On 04.10.22 13:46, Henning Schild wrote:
> > An fstab entry for / should usually not be required. It just makes a
> > rootfs less portable (USB vs. NFS, vs. SSD). The kernel is the one
> > that should know which fs to mount and how. That is done via a
> > bootloader.
> >
> > Should additional mount options be needed for a concrete image, an
> > imager like wic might add an entry. i.e. for adding fspassno or
> > x-systemd.growfs
> >
> > So to make the rootfs more generic and to allow imagers to add their
> > individual / lines, instead of having to modify an existing one,
> > remove the line from the template.
> >
> > Signed-off-by: Henning Schild <henning.schild@siemens.com>
> > ---
> > meta/classes/image.bbclass | 1 -
> > 1 file changed, 1 deletion(-)
> >
> > diff --git a/meta/classes/image.bbclass b/meta/classes/image.bbclass
> > index ccff81066178..d8d605d3af07 100644
> > --- a/meta/classes/image.bbclass
> > +++ b/meta/classes/image.bbclass
> > @@ -327,7 +327,6 @@ image_configure_fstab[weight] = "2"
> > image_configure_fstab() {
> > sudo tee '${IMAGE_ROOTFS}/etc/fstab' << EOF
> > # Begin /etc/fstab
> > -/dev/root / auto
> > defaults 0 0 proc /proc
> > proc nosuid,noexec,nodev 0 0
> > sysfs /sys sysfs
> > nosuid,noexec,nodev 0 0 devpts
> > /dev/pts devpts gid=5,mode=620
> > 0 0
>
> This works also for other imagers than wic? Just poking to avoid that
> we miss the case where this was once added for (if that exists).
AFAIK there are no other imagers that create fully bootable images. We
have ext4, probably usually combined with "qemu -kernel" as
"bootloader". And "tar.gz" usually combined with NFS and pxeboot or any
other external bootloader like uboot on a flash.
Both should remain working without the line, at least for qemu CI will
shortly tell. And for NFS i am pretty sure it will just work. I can
test that on request.
Looking at its git history, that is very old and hard to say why it was
ever done like that. Likely predates systemd and was taken from an
older OE or raspbian.
Henning
> Jan
>
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] image: remove / entry from fstab template
2022-10-04 11:46 [PATCH] image: remove / entry from fstab template Henning Schild
2022-10-04 11:53 ` Henning Schild
2022-10-04 11:54 ` Jan Kiszka
@ 2022-10-11 18:03 ` Anton Mikanovich
2022-10-13 15:00 ` Henning Schild
2022-10-14 12:10 ` Anton Mikanovich
2023-01-05 13:08 ` Florian Bezdeka
4 siblings, 1 reply; 13+ messages in thread
From: Anton Mikanovich @ 2022-10-11 18:03 UTC (permalink / raw)
To: isar-users; +Cc: Henning Schild, Felix Moessbauer, Jan Kiszka
04.10.2022 14:46, Henning Schild wrote:
> An fstab entry for / should usually not be required. It just makes a
> rootfs less portable (USB vs. NFS, vs. SSD). The kernel is the one
> that should know which fs to mount and how. That is done via a bootloader.
>
> Should additional mount options be needed for a concrete image, an
> imager like wic might add an entry. i.e. for adding fspassno or
> x-systemd.growfs
>
> So to make the rootfs more generic and to allow imagers to add their
> individual / lines, instead of having to modify an existing one, remove
> the line from the template.
>
> Signed-off-by: Henning Schild <henning.schild@siemens.com>
Did anyone managed to test this on real projects?
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] image: remove / entry from fstab template
2022-10-11 18:03 ` Anton Mikanovich
@ 2022-10-13 15:00 ` Henning Schild
2022-10-14 12:08 ` Anton Mikanovich
0 siblings, 1 reply; 13+ messages in thread
From: Henning Schild @ 2022-10-13 15:00 UTC (permalink / raw)
To: Anton Mikanovich; +Cc: isar-users, Felix Moessbauer, Jan Kiszka
Am Tue, 11 Oct 2022 21:03:56 +0300
schrieb Anton Mikanovich <amikan@ilbers.de>:
> 04.10.2022 14:46, Henning Schild wrote:
> > An fstab entry for / should usually not be required. It just makes a
> > rootfs less portable (USB vs. NFS, vs. SSD). The kernel is the one
> > that should know which fs to mount and how. That is done via a
> > bootloader.
> >
> > Should additional mount options be needed for a concrete image, an
> > imager like wic might add an entry. i.e. for adding fspassno or
> > x-systemd.growfs
> >
> > So to make the rootfs more generic and to allow imagers to add their
> > individual / lines, instead of having to modify an existing one,
> > remove the line from the template.
> >
> > Signed-off-by: Henning Schild <henning.schild@siemens.com>
>
> Did anyone managed to test this on real projects?
>
Why do you ask, do you maybe see a risk? I tried it but that might not
count since i proposed that patch.
Henning
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] image: remove / entry from fstab template
2022-10-13 15:00 ` Henning Schild
@ 2022-10-14 12:08 ` Anton Mikanovich
2022-10-14 16:27 ` Klincov, Wadim
0 siblings, 1 reply; 13+ messages in thread
From: Anton Mikanovich @ 2022-10-14 12:08 UTC (permalink / raw)
To: Henning Schild; +Cc: isar-users, Felix Moessbauer, Jan Kiszka
13.10.2022 18:00, Henning Schild wrote:
> Am Tue, 11 Oct 2022 21:03:56 +0300
> schrieb Anton Mikanovich <amikan@ilbers.de>:
>
>> Did anyone managed to test this on real projects?
> Why do you ask, do you maybe see a risk? I tried it but that might not
> count since i proposed that patch.
>
> Henning
I've asked it just in case any possible regressions.
Hope there will be some replies if any, so lets merge the patch.
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] image: remove / entry from fstab template
2022-10-04 11:46 [PATCH] image: remove / entry from fstab template Henning Schild
` (2 preceding siblings ...)
2022-10-11 18:03 ` Anton Mikanovich
@ 2022-10-14 12:10 ` Anton Mikanovich
2023-01-05 13:08 ` Florian Bezdeka
4 siblings, 0 replies; 13+ messages in thread
From: Anton Mikanovich @ 2022-10-14 12:10 UTC (permalink / raw)
To: Henning Schild, isar-users; +Cc: Felix Moessbauer, Jan Kiszka
04.10.2022 14:46, Henning Schild wrote:
> An fstab entry for / should usually not be required. It just makes a
> rootfs less portable (USB vs. NFS, vs. SSD). The kernel is the one
> that should know which fs to mount and how. That is done via a bootloader.
>
> Should additional mount options be needed for a concrete image, an
> imager like wic might add an entry. i.e. for adding fspassno or
> x-systemd.growfs
>
> So to make the rootfs more generic and to allow imagers to add their
> individual / lines, instead of having to modify an existing one, remove
> the line from the template.
>
> Signed-off-by: Henning Schild <henning.schild@siemens.com>
Applied to next, thanks.
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] image: remove / entry from fstab template
2022-10-14 12:08 ` Anton Mikanovich
@ 2022-10-14 16:27 ` Klincov, Wadim
2022-10-14 17:18 ` Anton Mikanovich
0 siblings, 1 reply; 13+ messages in thread
From: Klincov, Wadim @ 2022-10-14 16:27 UTC (permalink / raw)
To: amikan, Schild, Henning
Cc: isar-users, jan.kiszka, MOESSBAUER, FELIX JONATHAN
On Fri, 2022-10-14 at 15:08 +0300, Anton Mikanovich wrote:
> 13.10.2022 18:00, Henning Schild wrote:
> > Am Tue, 11 Oct 2022 21:03:56 +0300
> > schrieb Anton Mikanovich <amikan@ilbers.de>:
> >
> > > Did anyone managed to test this on real projects?
> > Why do you ask, do you maybe see a risk? I tried it but that might
> > not
> > count since i proposed that patch.
> >
> > Henning
>
> I've asked it just in case any possible regressions.
> Hope there will be some replies if any, so lets merge the patch.
>
If it's still relevant: I've just tried it on a simple project on an HP
workstation with some custom options in `--fsoptions` and it works
well.
Wadim
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] image: remove / entry from fstab template
2022-10-14 16:27 ` Klincov, Wadim
@ 2022-10-14 17:18 ` Anton Mikanovich
0 siblings, 0 replies; 13+ messages in thread
From: Anton Mikanovich @ 2022-10-14 17:18 UTC (permalink / raw)
To: Klincov, Wadim, Schild, Henning
Cc: isar-users, jan.kiszka, MOESSBAUER, FELIX JONATHAN
14.10.2022 19:27, Klincov, Wadim wrote:
> If it's still relevant: I've just tried it on a simple project on an HP
> workstation with some custom options in `--fsoptions` and it works
> well.
>
> Wadim
Hello Wadim,
Thanks for checking, this patch was already integrated.
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] image: remove / entry from fstab template
2022-10-04 11:46 [PATCH] image: remove / entry from fstab template Henning Schild
` (3 preceding siblings ...)
2022-10-14 12:10 ` Anton Mikanovich
@ 2023-01-05 13:08 ` Florian Bezdeka
2023-01-06 4:58 ` Moessbauer, Felix
4 siblings, 1 reply; 13+ messages in thread
From: Florian Bezdeka @ 2023-01-05 13:08 UTC (permalink / raw)
To: isar-users; +Cc: Felix Moessbauer, Jan Kiszka, Anton Mikanovich, Henning Schild
On Tue, 2022-10-04 at 13:46 +0200, Henning Schild wrote:
> An fstab entry for / should usually not be required. It just makes a
> rootfs less portable (USB vs. NFS, vs. SSD). The kernel is the one
> that should know which fs to mount and how. That is done via a bootloader.
>
> Should additional mount options be needed for a concrete image, an
> imager like wic might add an entry. i.e. for adding fspassno or
> x-systemd.growfs
>
> So to make the rootfs more generic and to allow imagers to add their
> individual / lines, instead of having to modify an existing one, remove
> the line from the template.
>
> Signed-off-by: Henning Schild <henning.schild@siemens.com>
Hi all,
FYI: While trying to update Isar in one layer using LAVA tests we
recognized that there is now a breaking change:
Previously the rootfs was mounted rw on ext4 images because we had the
/ line in /etc/fstab, triggering systemd-remount logic.
As the entry for the root (/) has been removed in /etc/fstab remounting
does no longer happen. This breaks several LAVA tests here as well as
start-qemu scripts. Adding "rw" to the kernel cmdline would be one
option but we have a lot of LAVA job descriptions and even more start-
qemu scripts in downstream layers.
Felix already send out patches to OE (open embedded) to address that in
wic. Necessary Isar patches (wic update, ...) will follow soon. Thanks
a lot Felix for taking over.
Best regards,
Florian
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] image: remove / entry from fstab template
2023-01-05 13:08 ` Florian Bezdeka
@ 2023-01-06 4:58 ` Moessbauer, Felix
2023-01-06 8:54 ` Florian Bezdeka
0 siblings, 1 reply; 13+ messages in thread
From: Moessbauer, Felix @ 2023-01-06 4:58 UTC (permalink / raw)
To: Bezdeka, Florian, isar-users; +Cc: amikan, Kiszka, Jan, Schild, Henning
On Thu, 2023-01-05 at 14:08 +0100, Florian Bezdeka wrote:
> On Tue, 2022-10-04 at 13:46 +0200, Henning Schild wrote:
> > An fstab entry for / should usually not be required. It just makes
> > a
> > rootfs less portable (USB vs. NFS, vs. SSD). The kernel is the one
> > that should know which fs to mount and how. That is done via a
> > bootloader.
> >
> > Should additional mount options be needed for a concrete image, an
> > imager like wic might add an entry. i.e. for adding fspassno or
> > x-systemd.growfs
> >
> > So to make the rootfs more generic and to allow imagers to add
> > their
> > individual / lines, instead of having to modify an existing one,
> > remove
> > the line from the template.
> >
> > Signed-off-by: Henning Schild <henning.schild@siemens.com>
>
> Hi all,
>
> FYI: While trying to update Isar in one layer using LAVA tests we
> recognized that there is now a breaking change:
>
> Previously the rootfs was mounted rw on ext4 images because we had
> the
> / line in /etc/fstab, triggering systemd-remount logic.
>
> As the entry for the root (/) has been removed in /etc/fstab
> remounting
> does no longer happen. This breaks several LAVA tests here as well as
> start-qemu scripts. Adding "rw" to the kernel cmdline would be one
> option but we have a lot of LAVA job descriptions and even more
> start-
> qemu scripts in downstream layers.
>
> Felix already send out patches to OE (open embedded) to address that
> in
> wic. Necessary Isar patches (wic update, ...) will follow soon.
> Thanks
> a lot Felix for taking over.
Hi Devs,
let me add some additional information:
- in OE, the fstab in the rootfs contains the / entry
- we added a patch to OE to let WIC handle the root partition, but this
had been reverted because it led to duplicated entries (which break
systemd-remount)
By that, we are no longer in sync with OE. Also considering the revert
of the WIC patch, this shows that OE want to keep the / entry in the
rootfs fstab for the meantime.
Instead of discussing fundamental aspects (like if the line should be
in the rootfs fstab or not) I vote for just integrating the
deduplication logic in WIC and re-add the / entry in the rootfs fstab.
This brings us in sync with OE again and from then on we can discuss
how the general design should look like.
Felix
>
> Best regards,
> Florian
>
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] image: remove / entry from fstab template
2023-01-06 4:58 ` Moessbauer, Felix
@ 2023-01-06 8:54 ` Florian Bezdeka
0 siblings, 0 replies; 13+ messages in thread
From: Florian Bezdeka @ 2023-01-06 8:54 UTC (permalink / raw)
To: Moessbauer, Felix (T CED INW-CN), isar-users
Cc: amikan, Kiszka, Jan (T CED), Schild, Henning (T CED SES-DE)
On 06.01.23 05:58, Moessbauer, Felix (T CED INW-CN) wrote:
> On Thu, 2023-01-05 at 14:08 +0100, Florian Bezdeka wrote:
>> On Tue, 2022-10-04 at 13:46 +0200, Henning Schild wrote:
>>> An fstab entry for / should usually not be required. It just makes
>>> a
>>> rootfs less portable (USB vs. NFS, vs. SSD). The kernel is the one
>>> that should know which fs to mount and how. That is done via a
>>> bootloader.
>>>
>>> Should additional mount options be needed for a concrete image, an
>>> imager like wic might add an entry. i.e. for adding fspassno or
>>> x-systemd.growfs
>>>
>>> So to make the rootfs more generic and to allow imagers to add
>>> their
>>> individual / lines, instead of having to modify an existing one,
>>> remove
>>> the line from the template.
>>>
>>> Signed-off-by: Henning Schild <henning.schild@siemens.com>
>>
>> Hi all,
>>
>> FYI: While trying to update Isar in one layer using LAVA tests we
>> recognized that there is now a breaking change:
>>
>> Previously the rootfs was mounted rw on ext4 images because we had
>> the
>> / line in /etc/fstab, triggering systemd-remount logic.
>>
>> As the entry for the root (/) has been removed in /etc/fstab
>> remounting
>> does no longer happen. This breaks several LAVA tests here as well as
>> start-qemu scripts. Adding "rw" to the kernel cmdline would be one
>> option but we have a lot of LAVA job descriptions and even more
>> start-
>> qemu scripts in downstream layers.
>>
>> Felix already send out patches to OE (open embedded) to address that
>> in
>> wic. Necessary Isar patches (wic update, ...) will follow soon.
>> Thanks
>> a lot Felix for taking over.
>
> Hi Devs,
>
> let me add some additional information:
>
> - in OE, the fstab in the rootfs contains the / entry
> - we added a patch to OE to let WIC handle the root partition, but this
> had been reverted because it led to duplicated entries (which break
> systemd-remount)
>
> By that, we are no longer in sync with OE. Also considering the revert
> of the WIC patch, this shows that OE want to keep the / entry in the
> rootfs fstab for the meantime.
>
> Instead of discussing fundamental aspects (like if the line should be
> in the rootfs fstab or not) I vote for just integrating the
> deduplication logic in WIC and re-add the / entry in the rootfs fstab.
> This brings us in sync with OE again and from then on we can discuss
> how the general design should look like.
+1. Let's fix the current bug (duplicate entry for / in /etc/fstab)
first. Anything else can be addressed afterwards - if necessary at all.
>
> Felix
>
>>
>> Best regards,
>> Florian
>>
>
^ permalink raw reply [flat|nested] 13+ messages in thread
end of thread, other threads:[~2023-01-06 8:55 UTC | newest]
Thread overview: 13+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-10-04 11:46 [PATCH] image: remove / entry from fstab template Henning Schild
2022-10-04 11:53 ` Henning Schild
2022-10-04 11:54 ` Jan Kiszka
2022-10-04 12:21 ` Henning Schild
2022-10-11 18:03 ` Anton Mikanovich
2022-10-13 15:00 ` Henning Schild
2022-10-14 12:08 ` Anton Mikanovich
2022-10-14 16:27 ` Klincov, Wadim
2022-10-14 17:18 ` Anton Mikanovich
2022-10-14 12:10 ` Anton Mikanovich
2023-01-05 13:08 ` Florian Bezdeka
2023-01-06 4:58 ` Moessbauer, Felix
2023-01-06 8:54 ` Florian Bezdeka
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox