No problem for me to keep in OJ Plus with an extra 1.4Mb of libraries.
Possibly in the future we can have time to find a solution:.
Peppe
2018-08-30 11:47 GMT+02:00 <edgar.sol...@web.de>:
> Peppe, Jukka,
>
> >On 8/28/2018 22:00, Michaël Michaud wrote:
> >> I'd rather remove the extension than review its persistence mechanism
> because anyway, I generally package a specific distro to users I know. But
> before, I wish to hear from Jukka and Peppe, because if they sometimes use
> this extension, or know people using it, it maybe worthwhile letting it in
> PLUS distro, event at the price of +1.4Mb.
> > ok. let's wait for their opinion on the matter.. ede
>
> what is your take on this extension. ok to remove or? ..ede
>
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
