Thanks for the info Daniel. I created the ticket because I thought the behaviour had changed at some point, but if it was always like this it is fine. I will close the ticket now.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.