Revision f3a889194829c4876a7a03cb26775012c421ae8e

Committed on 13/01/2022 1:20 am by Petar Å panja <[email protected]> [GitHub Diff]

Remove unsupported duplicated config