Right, that’s a deadlock that only exists when HAVE_THREADS is defined. I just discovered it myself, and have already checked in a fix.
david
Right, that’s a deadlock that only exists when HAVE_THREADS is defined. I just discovered it myself, and have already checked in a fix.
david