The related bug is already fixed. I therefore reject this branch, as there is no need to work furthuer on it.
« Back to merge proposal
The related bug is already fixed. I therefore reject this branch, as there is no need to work furthuer on it.