Thu, 25 Oct 2018 18:51:55 +0200 | Pierre-Yves David | branching; merge with stable | file | diff | annotate |
Thu, 25 Oct 2018 18:42:49 +0200 | Pierre-Yves David | packaging: prepare version 8.3.1 | file | diff | annotate |
Thu, 25 Oct 2018 12:49:48 +0200 | Pierre-Yves David | branching: merge stable into default | file | diff | annotate |