honestbleeps/Reddit-Enhancement-Suite — pull request #1735 by erikdesjardins (2014-10-31 00:24:46+00:00)
Title: Added option to highlight edited times

Resolves #1732.