servo/servo — pull request #3160 by mbrubeck (2014-08-26 19:40:42+00:00)
Title: Remove obsolete TODO comments

Remove comments referring to #113 and #115 which were fixed long ago.