tree 4081edfe0060eee95b1f0e92ec261401fac75e38
parent f95363f4abee463123a6c14b706f7efc9aa223e5
author Gilles Sadowski <gilles@harfang.homelinux.org> 1574938899 +0100
committer Gilles Sadowski <gilles@harfang.homelinux.org> 1574938899 +0100

Use "diamond" operator.

Reported by "sonarcloud.io".