Merge branch '12-remove-deprecated-armeabi-build' into 'master'
Passed
Benoît Harrault
created pipeline for commit 29ab012e
, finished
For master
51 seconds, queued for 703 seconds