I confirm the fix. Thanks a lot!
> On 19 Nov 2018, at 15:33, Ell via gimp-developer-list > <gimp-developer-list@gnome.org> wrote: > > > Thanks everyone. The file was indeed not being installed. Fixed now, > by commit 46d476869985013ea3e620240eaaf445bb3bc5e3. > > -- > Ell > _______________________________________________ > gimp-developer-list mailing list > List address: gimp-developer-list@gnome.org > List membership: https://mail.gnome.org/mailman/listinfo/gimp-developer-list > List archives: https://mail.gnome.org/archives/gimp-developer-list _______________________________________________ gimp-developer-list mailing list List address: gimp-developer-list@gnome.org List membership: https://mail.gnome.org/mailman/listinfo/gimp-developer-list List archives: https://mail.gnome.org/archives/gimp-developer-list
