Style fix

This commit is contained in:
Gilles Peskine 2019-01-22 17:56:16 +01:00
parent e43aa39397
commit eb35d78a11