Add ChangeLog entry for #15724
commit71e67af91f92fbe709329d71ed4df5c2b2b8331d
authorWilliam Desportes <williamdes@wdes.fr>
Mon, 6 Jan 2020 13:20:02 +0000 (6 14:20 +0100)
committerWilliam Desportes <williamdes@wdes.fr>
Mon, 6 Jan 2020 13:20:08 +0000 (6 14:20 +0100)
tree95bbcc6d3ad12be61c9fd14985af64f9e449bfba
parent6c35ea3be7b201a1ed189ba667160e8f51ce9599
Add ChangeLog entry for #15724

Signed-off-by: William Desportes <williamdes@wdes.fr>
ChangeLog