Started 4 yr 7 mo ago
Took 25 min on builtin

Build #306 (Feb 6, 2020 5:56:30 PM)

PR #2741: prevent rewriting for array...
No changes.

GitHub pull request #2741 of commit 02171b8fafc67124af3bb070ec4c38fd217b646f, no merge conflicts.