I confirm the fix. Thanks a lot! > On 19 Nov 2018, at 15:33, Ell via gimp-developer-list <gimp-developer-list@xxxxxxxxx> 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@xxxxxxxxx > 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@xxxxxxxxx List membership: https://mail.gnome.org/mailman/listinfo/gimp-developer-list List archives: https://mail.gnome.org/archives/gimp-developer-list
