tree 694a802970385d497d2c257721141d9ec5497636
parent 1b00e73b2150e85de8ed52022e263d9ab0e08505
author Eric Bruneton <ebruneton@free.fr> 1642337450 +0100
committer Eric Bruneton <ebruneton@free.fr> 1642337450 +0100

Use a more specific SuppressWarnings for PMD.