| Wed, 27 Dec 2017 05:01:30 +0530 | Pulkit Goyal | evolve: don't show working directory obsolete message if we were on it | changeset | files |
| Thu, 28 Dec 2017 03:12:54 +0530 | Pulkit Goyal | prev: jump to parent's successor if parent is obsolete and topic is involved | changeset | files |