Tue, 14 Nov 2017 23:04:04 +0100 | Pierre-Yves David | branching: merge with an old and strange head | changeset | files |
Tue, 25 Jul 2017 02:29:28 +0200 | Pierre-Yves David | branching: default into stable | changeset | files |
Tue, 14 Nov 2017 21:05:59 +0100 | Pierre-Yves David | topic: fix new head detection when using --publish on a topic | changeset | files |
Tue, 14 Nov 2017 18:35:25 +0100 | Boris Feld | effect-flag: fix obsfate verb hooking | changeset | files |