Closes #86 (closed)
Pipeline #8016 passed
Pipeline passed for c66b3391 on 86-remove-deprecated-armeabi-build 1 week ago
Pipeline #8036 passed
Pipeline passed for e19d3c88 on master 1 week ago
added ⚠️ bug label
assigned to @benoit
added 1 commit
Compare with previous version
marked this merge request as ready
mentioned in commit e19d3c88
merged