| Fri, 01 Sep 2017 12:34:36 -0700 | Saurabh Singh | amend: moving first assignment of newid closer to its use | file | diff | annotate |
| Thu, 31 Aug 2017 18:35:39 -0700 | Saurabh Singh | amend: rectify comment | file | diff | annotate |
| Fri, 01 Sep 2017 15:08:54 -0700 | Saurabh Singh | amend: removing redundant if condition | file | diff | annotate |
| Wed, 30 Aug 2017 20:25:56 +0000 | Michael Bolin | editor: use an unambiguous path suffix for editor files | file | diff | annotate |