Re: update editors/jmigpin-editor to 3.11

2025-03-28 Thread Theo Buehler
On Fri, Mar 28, 2025 at 08:14:18PM +0100, Sebastien Marie wrote: > Hi, > > The following diff updates editors/jmigpin-editor to 3.11. > > Comments or OK ? ok tb

update editors/jmigpin-editor to 3.11

2025-03-28 Thread Sebastien Marie
Hi, The following diff updates editors/jmigpin-editor to 3.11. Comments or OK ? -- Sebastien Marie diff --git a/editors/jmigpin-editor/Makefile b/editors/jmigpin-editor/Makefile index bee20b4505..73418f448d 100644 --- a/editors/jmigpin-editor/Makefile +++ b/editors/jmigpin-editor/Makefile @@ -