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