On 02.08.2019 16:48, Johannes Schindelin wrote:
How about subscribing to that PR so you get updates without requiring me
to remember to send you a manual email?

This option evaded me :) Subscribed, thanks!

Reply via email to