tree 38292540a6bc9d80e1b55a77e77b6a980ccec078
parent 48f196cda54a5f6f8b17e3f4dfa9ce63297b639b
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1392815034 +0100
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1394782860 +0100

compat.sh: remove useless server restart