]> git.openfabrics.org - ~adrianc/mstflint.git/commitdiff
Merge branch 'master_devel' of ssh://git.openfabrics.org/home/mohammads/scm/mstflint...
authorAdrian Chiris <adrianc@mellanox.com>
Thu, 14 Jan 2016 09:25:19 +0000 (11:25 +0200)
committerAdrian Chiris <adrianc@mellanox.com>
Thu, 14 Jan 2016 09:25:19 +0000 (11:25 +0200)

Trivial merge