Comment 2 for bug 252679

Revision history for this message
Severin H (severinh) wrote :

Since this branch has already been merged into main a while ago, I hereby close this bug.