Merge pull request #549 from joudinet/master
authorChristophe Romain <chris.romain@gmail.com>
Tue, 28 Apr 2015 15:34:57 +0000 (17:34 +0200)
committerChristophe Romain <chris.romain@gmail.com>
Tue, 28 Apr 2015 15:34:57 +0000 (17:34 +0200)
ejabberdctl: define mnesia options


Trivial merge