I hope that subscribers to an issue will receive a notification when a mentioned issue is closed
To answer my own question: It looks like that's not the case, so anyone interested will need to explicitly subscribe to the related issue. Still, hardly a deal breaker IMHO.
Florian
