[Bugzilla user: s.jodogne@gmail.com]
[Bugzilla date: 2020-06-29T13:28:26+00:00]

*** Bug 80 has been marked as a duplicate of this bug. ***