Started 3 yr 4 mo ago
Took 21 min on builtin

Build #1068 (Jul 5, 2021 6:28:00 PM)

PR #3522: Add open parentheses
No changes.

GitHub pull request #3522 of commit ec339a622b5dc368f9deb82055e0b06cc75a30fb, no merge conflicts.