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)
commit22dcd799590d8568ba4a8307e4989b26542ff717
tree1419964a323760216ce7c855cfbb9d4016e7bc81
parente127fb8fd8d444bafa174e435c2431a56632e077
parentea4df0aad3f4f78bdfe00826c2f66ca310084050
Merge pull request #577 from wernsaar/develop

Bugfix for armv6 memory barrier