Sorry for the harsh tone.
I was surprised to see a bug report and a branch and a merge proposal for this issue, which is certainly nice to have been fixed but IMHO doesn't deserve that level of publicity.
Sorry for the harsh tone.
I was surprised to see a bug report and a branch and a merge proposal for this issue, which is certainly nice to have been fixed but IMHO doesn't deserve that level of publicity.