Looks like a valid bug, thanks for the extended analysis and the merge proposal! We'll review it and merge an appropriate fix.
Looks like a valid bug, thanks for the extended analysis and the merge proposal! We'll review it and merge an appropriate fix.