Closes #87 (closed)
Pipeline #8003 passed
Pipeline passed for 8e62fc29 on 87-remove-deprecated-armeabi-build 4 days ago
Merge details
Closes issue #87 (closed)
added ⚠️ bug label
assigned to @benoit
added 1 commit
Compare with previous version
marked this merge request as ready
mentioned in commit d0f2d813
merged