Merge #16273 - Fix #14644 - Use Doctum instead of Sami
commitd387e4d0d7dff95d153c3d9e3c9dd9af8455a3de
authorWilliam Desportes <williamdes@wdes.fr>
Sat, 15 Aug 2020 13:40:18 +0000 (15 15:40 +0200)
committerWilliam Desportes <williamdes@wdes.fr>
Sat, 15 Aug 2020 13:41:42 +0000 (15 15:41 +0200)
treebcce24b9c69e3a36c6bdcc1bae7b6e5e44fde85a
parent9cc82e107af90eff375aa2d083b3eb50675d639f
parent93c21ed7f18a0a1c198d60013fe271358b27178d
Merge #16273 - Fix #14644 - Use Doctum instead of Sami

Pull-request: #16273
Fixes: #14644

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