← Back to context Comment by HeavyStorm 17 hours ago That's pretty standard review practice in there by now. 2 comments HeavyStorm Reply jagged-chisel 13 hours ago But it was apparently ignored. dlopes7 12 hours ago It wasn’t ignored, the second commit fixes what the bot suggested
jagged-chisel 13 hours ago But it was apparently ignored. dlopes7 12 hours ago It wasn’t ignored, the second commit fixes what the bot suggested
But it was apparently ignored.
It wasn’t ignored, the second commit fixes what the bot suggested