Re: [update] games/widelands to 1.1

2023-08-29 Thread Kirill Bychkov
On Mon, August 28, 2023 18:43, Christopher Zimmermann wrote: > Hi, > > I'm looking for oks for this update of games/widelands to 1.1. The PLIST > diff is too large to attach uncompressed, so I include that only in the > attached gzipped diff. Hi, You've lost a chunk in patch-CMak

Re: [update] games/widelands to 1.1

2023-08-28 Thread Stefan Hagen
Christopher Zimmermann wrote (2023-08-28 17:43 CEST): > Hi, > > I'm looking for oks for this update of games/widelands to 1.1. The PLIST > diff is too large to attach uncompressed, so I include that only in the > attached gzipped diff. Looks good to me. The previous version ran