Board Thread:Consensus Track/@comment-27047819-20151130221353/@comment-1251315-20151201112617

It depends on the kind of error. If the error is significant, then no. But if it's a subtle error that nobody will notice, then it shouldn't matter much.