Wed, 27 Sep 2017 00:54:28 +0200 | Pierre-Yves David | branching: merge future 6.7.0 in the stable branch | file | diff | annotate |
Thu, 24 Aug 2017 10:57:32 -0700 | Martin von Zweigbergk | messages: use hyphenated '{phase,content}-divergent' in user messages | file | diff | annotate |
Thu, 24 Aug 2017 09:12:09 +0200 | Boris Feld | warning: rename warning message | file | diff | annotate |