I have pushed some fixes to git that avoid the use of a deprecated function - this may fix the threading bugs that get reported from time to time. Please test.
Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
