Merge pull request #577 from wernsaar/develop
authorwernsaar <wernsaar@googlemail.com>
Tue, 19 May 2015 08:59:24 +0000 (10:59 +0200)
committerwernsaar <wernsaar@googlemail.com>
Tue, 19 May 2015 08:59:24 +0000 (10:59 +0200)
Bugfix for armv6 memory barrier


Trivial merge