Release Notes:

- Fixed a leak that would prevent projects from being automatically
unshared or left when closing the corresponding window.