FWIW, this patch is small enough that it seems like it might be something that could be backported to 1.16. I don't know if it is worthwhile right now, but maybe something to consider.
« Back to merge proposal
FWIW, this patch is small enough that it seems like it might be something that could be backported to 1.16. I don't know if it is worthwhile right now, but maybe something to consider.