Jimmy Berry 642f0536a1 ReviewBot: comment_write(): pre-truncate for correct comparison.
Otherwise, long comments that end up being truncated are re-posted.
2017-10-05 17:40:26 -05:00
..
2017-10-02 20:49:41 +08:00
2014-08-27 11:36:08 +02:00
2015-08-28 10:46:04 +02:00
2015-05-28 13:16:08 +02:00
2017-04-27 16:29:21 -05:00