| Mon, 26 Jun 2017 21:48:33 +0530 | Pulkit Goyal | topics: pass 'topics' to ui.formatter instead of 'bookmarks' | changeset | files |
| Wed, 28 Jun 2017 17:28:56 +0200 | Pierre-Yves David | topic: also insert the extra head check with using the new head checking | changeset | files |