Agreed, thanks for the contribution, and sorry for the confusion.
@SerpentCS: Divyesh had probably not noticed the merge proposal, perhaps you should post a little comment on the bug when you add a merge proposal, if it's not mentioned in the bug description. Otherwise it's easy to miss it, especially because we don't often get community MPs on recent trunk bugs :-) Great to see that it's changing!
Agreed, thanks for the contribution, and sorry for the confusion.
@SerpentCS: Divyesh had probably not noticed the merge proposal, perhaps you should post a little comment on the bug when you add a merge proposal, if it's not mentioned in the bug description. Otherwise it's easy to miss it, especially because we don't often get community MPs on recent trunk bugs :-) Great to see that it's changing!