Merge pull request #563 from wernsaar/develop
authorwernsaar <wernsaar@googlemail.com>
Tue, 5 May 2015 10:13:35 +0000 (12:13 +0200)
committerwernsaar <wernsaar@googlemail.com>
Tue, 5 May 2015 10:13:35 +0000 (12:13 +0200)
Bugfix for gemm3m tests


Trivial merge