@Christian, I've updated both merge proposals according to your feedback. (I had to replace the existing MPs, so please see the new ones, incl. their links, below the bug description above.)
@Christian, I've updated both merge proposals according to your feedback.
(I had to replace the existing MPs, so please see the new ones, incl. their links, below the bug description above.)