On Thu, 06 Jul 2023 08:59:06 +0100 "Keith Edmunds" <kae at midnighthax.com> wrote: > Suggestion: you may want to remove (or fix) the gtk3 branch which is giving > the problems I outlined earlier. It's an historical branch which is clearly abandoned. There is no need to remove it. There are other abandoned branches too. with regards Paul