remove patch #7355 as requested
commit2f65bb8aaa2f0cdfdbcb733a4d1fc6558d234f75
authorspiralvoice <spiralvoice>
Sat, 23 Oct 2010 18:51:16 +0000 (23 18:51 +0000)
committerspiralvoice <spiralvoice>
Sat, 23 Oct 2010 18:51:16 +0000 (23 18:51 +0000)
tree477ed9be591adbcdc9aa6580374535f3d3b9ec2d
parent553ba135c97e8db3ed9de3e9315d1668bb246393
remove patch #7355 as requested
distrib/ChangeLog
src/networks/direct_connect/dcInteractive.ml