Comment 3 for bug 231106

I didn't, but your description makes sense and I trust your code. For small fixes like this, unless you get an immediate complaint on grok-dev, you should just assume silence is consent and merge it after a couple of days of announcing it. It can always be rolled back later.