That's pretty standard review practice in there by now.

But it was apparently ignored.

	▲	dlopes7 an hour ago \| parent [-]
		It wasn’t ignored, the second commit fixes what the bot suggested