]> git.openfabrics.org - ~adrianc/mstflint.git/commitdiff
fixed merge conflict master_devel
authorAdrian Chiris <adrianc@mellanox.com>
Thu, 17 Nov 2016 09:09:15 +0000 (11:09 +0200)
committerAdrian Chiris <adrianc@mellanox.com>
Thu, 17 Nov 2016 09:09:15 +0000 (11:09 +0200)

Trivial merge