patch #7353
commitb7b59921111d64627fe9d6262332eeef10ce40cd
authorspiralvoice <spiralvoice>
Sat, 23 Oct 2010 18:20:30 +0000 (23 18:20 +0000)
committerspiralvoice <spiralvoice>
Sat, 23 Oct 2010 18:20:30 +0000 (23 18:20 +0000)
tree4f0d88e39d9ac32294fe1472226b7fd56acc4358
parentc429919ff872020efb3489cdc185cc11307623c7
patch #7353
distrib/ChangeLog
src/networks/direct_connect/dcServers.ml