> On May 5, 2018, at 2:10 AM, Christiaan Hofman <cmhof...@gmail.com> wrote: > > This bug us already fixed for the next release. I don't know when that will > come out, but probably not too long in the future. I have no idea though why > the latest release would be so crash, because as it turns out the cause > should have been there for a while. > > Christiaan
It might have been there for a while. I might have skipped a couple or so updates. Jerry ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ Skim-app-users mailing list Skim-app-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/skim-app-users