tiborsimko/invenio-devscripts — pull request #12 by kaplun (2014-04-08 13:08:24+00:00)
Title: invenio-recreate-demo-site: no mysql restart

* MySQL restart is no longer reuireed as of
Invenio 7f63d3c31ce93aac83c5cf927d769f33fcc6c6d1

Signed-off-by: Samuele Kaplun