-
Georges Racinet authored
This is again cleaner, and ultimately the reason why we've put a long timeout and `cleanup_teardown()` in `Project.__exit__()`, even though it's much less necessary now than it was before we made Project names unique.
d14bb54016bb