Thanks ! pristine-tar & tags pushed :) On 2018-08-09 15:49, Gianfranco Costamagna wrote:
uploaded, please push pristine-tar and git tags :) G.
-- Philippe.