tree d73fee262da903c82887b7ff184d3fd33004cec8
parent aedb2823fd740dcdf64744d47eab0053324741b1
author Nadeem Vawda <nadeem.vawda@gmail.com> 1305458182 +0200
committer Nadeem Vawda <nadeem.vawda@gmail.com> 1305458182 +0200
HG:rename-source hg

Fix _socket compilation failures on non-Linux buildbots (cf. issue #1746656).