SubtitleEdit/subtitleedit — pull request #253 by alfaproject (2014-09-16 20:00:39+00:00)
Title: Use native HashSet

No reason not to use the native one. It actually seems more efficient as well for our use.