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 > <riccardo.canalicc...@gmail.com>: > > 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 you think? > > best, > Riccardo
