new | ask | show | jobs
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