# HG changeset patch # User Pierre-Yves David # Date 1548171713 18000 # Node ID 76500b73b1a9f8a386d116c21be6b17dc4a323f5 # Parent 33fc61e5e11911e43580694d99a86993dd37121d# Parent 5ba82f4054532d9029942c401a214100525187e4 branching: merge stable into default prior to new version