Merge 0b24cba5ed10aac0f00e84f4b459e2db387a1289 into…

Authored by khandpur on Apr 12 2017, 6:16 PM.

Details

Committed
GitHub <noreply@github.com>Apr 12 2017, 6:16 PM
Parents
R23:0b24cba5ed10: Delete .arcconfig. It isn't used anywhere [ci-skip]
R23:127057f14919: Minor formatting fixes to failure messages.
Branches
Unknown
Tags
Unknown
This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Merged Changes

CommitAuthorDetailsCommitted
0b24cba5ed10 khandpur/GitHub
Delete .arcconfig. It isn't used anywhere [ci-skip] 
Apr 12