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
------------------------------------------------------------------------------
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
