Action Required: Fix Mend Configuration File - .whitesource - autoclosed

[mend-bolt-for-github[bot]]

There is an error with this repository's Mend configuration file that needs to be fixed. As a precaution, scans will stop until it is resolved.

Errors:

• Failed to parse configuration file: kleros/vea/.whitesource: failed to parse JSON content

[mend-bolt-for-github[bot]]

:information_source: This issue was automatically closed by Mend because it is a duplicate of an existing issue: #188

[mend-bolt-for-github[bot]]

:information_source: This issue was automatically closed by Mend because it is a duplicate of an existing issue: #188