Closed MortimerGoro closed 7 years ago
@bors-servo: r+
:pushpin: Commit 437ce48 has been approved by jdm
:hourglass: Testing commit 437ce48a9fa130e20c3064ebfbcba9917a235503 with merge 5ea83dea57a8d76efedc392e2c9ac53eac9709e7...
:sunny: Test successful - status-travis Approved by: jdm Pushing 5ea83dea57a8d76efedc392e2c9ac53eac9709e7 to master...
Fixes:
armv7-linux-androideabi
targetaarch64-linux-android
targetThis change is