Re: update editors/jmigpin-editor to 3.11

[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