patch #8113
commitac5e85dbe531fcf5eed1f3195964b30ef778bccc
authorspiralvoice <spiralvoice>
Sun, 7 Jul 2013 11:04:11 +0000 (7 11:04 +0000)
committerspiralvoice <spiralvoice>
Sun, 7 Jul 2013 11:04:11 +0000 (7 11:04 +0000)
tree1535d86a5b9db0cbb213a95578069170a7a2f0b6
parentd17cdaf2863400ec482afd4ef2c4648c62a7666d
patch #8113
distrib/ChangeLog
src/daemon/common/commonGlobals.ml