I proposed a fix for this bug for merging. Anything more I need to do? I haven't received a single comment on the merge proposal (which is 4weeks+ old now).
I proposed a fix for this bug for merging. Anything more I need to do? I haven't received a single comment on the merge proposal (which is 4weeks+ old now).