-
Committer:
Raphaël Hertzog
-
Date:
2017-09-21 12:24:40 UTC
-
mfrom:
(546.1.12)
-
Revision ID:
git-v1:b26b1b9803d2fc382e2748eb924f9fc2b9aa5cbf
Tags: debian/54
Merge remote-tracking branch 'origin/master'
My recent work was incorrectly based on an old release. Now I merge
the missed releases 52 and 53.