Properly hide checkbox and radio inputs in button groups #14559
Interestingly, the article linked in the explanatory comment for the
I suppose so, yes.
The cross reference in the timeline here will always show up as @cvrebert since he opened that issue. Anytime you merge something worth noting, you should update the ship list.
And on the note of it being a bot, I'd love it if it was done by us at GitHub, but that's for another time :).