]> granicus.if.org Git - ejabberd/commitdiff
Merge branch 'master' into mix mix
authorEvgeny Khramtsov <ekhramtsov@process-one.net>
Mon, 10 Dec 2018 14:07:28 +0000 (17:07 +0300)
committerEvgeny Khramtsov <ekhramtsov@process-one.net>
Mon, 10 Dec 2018 14:07:28 +0000 (17:07 +0300)
1  2 
src/ejabberd_sm.erl

Simple merge