Closes #12 (closed)
Pipeline #8000 passed
Pipeline passed for 40e485b7 on 12-remove-deprecated-armeabi-build 3 days ago
Pipeline #8051 passed
Pipeline passed for 29ab012e on master 2 days ago
added ⚠️ bug label
assigned to @benoit
added 1 commit
Compare with previous version
marked this merge request as ready
mentioned in commit 29ab012e
merged
