tree f7fe470f0bc52558263b6b212f59033d7e461fa4
parent 05010706697ce9c18e7f8a8e571753b0bcfd6548
parent c5069e00705a499c2db37deb5d0eefae791d39ea
author Éric Araujo <merwok@netwok.org> 1306623399 +0200
committer Éric Araujo <merwok@netwok.org> 1306623399 +0200
HG:rename-source hg

Merge touch-ups and fixes for #9831 (+port fix to packaging) and #9223 from 3.2