3 ms·

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

• jagged-chisel 5mo ago
  But it was apparently ignored.
  • dlopes7 5mo ago
    It wasn’t ignored, the second commit fixes what the bot suggested