I proposed the bug for merging and added some comments to the merge proposal. Thanks for doing this cleanup!
I proposed the bug for merging and added some comments to the merge proposal. Thanks for doing this cleanup!