For me merging that PR is fine. I did approve it some time ago. If nobody
objects I would merge it next week.
Fred
> Am 28.11.2021 um 10:27 schrieb Riccardo Canalicchio
> :
>
> hello,
> I'd like to follow up on this PR:
> https://github.com/gnustep/libs-back/pull/33
>
> I was thinking that
hello,
I'd like to follow up on this PR:
https://github.com/gnustep/libs-back/pull/33
I was thinking that if we are not convinced in merging it to master, it
could be worth having a wayland branch, so that it would allow to iterate
on some smaller fixes that would be easier to review.
what do
