#425 (Mar 4, 2020, 6:24:10 PM)

1. everything works (commit: fe7f822) (details / githubweb)
2. fancier indenting for array constraints (commit: 3df6737) (details / githubweb)
3. hide warnings (commit: 840cc53) (details / githubweb)

GitHub pull request #1475 of commit 840cc53d778a55b113c0323a9876695f05df7c97, no merge conflicts.

Aborted by user eburn