| Mon, 23 Sep 2013 19:02:32 -0700 | Siddharth Agarwal | pull: for pull --update with failed update, print hint if any | changeset | files |
| Fri, 06 Sep 2013 13:30:57 +0400 | Alexander Plavin | paper: edit search hint to include new feature description | changeset | files |