This bug was fixed in v3.12-rc1:
$ git tag --contains d48de1c73b41d27e3cc6e500eb9588449edb2f14 v3.12 v3.12-rc1
Therefore it is fixed in 3.13, 3.16 already.
Thanks for all the hard work in reporting and getting this bug fixed!
This bug was fixed in v3.12-rc1:
$ git tag --contains d48de1c73b41d27 e3cc6e500eb9588 449edb2f14
v3.12
v3.12-rc1
Therefore it is fixed in 3.13, 3.16 already.
Thanks for all the hard work in reporting and getting this bug fixed!