Comment by jagged-chisel 18 hours ago But it was apparently ignored. 1 comment jagged-chisel Reply dlopes7 18 hours ago It wasn’t ignored, the second commit fixes what the bot suggested
It wasn’t ignored, the second commit fixes what the bot suggested