On 19 Jan 2021, at 11:05, Gianluca Cecchi <gianluca.cecchi@gmail.com> wrote:

perhaps a copy paste error about the bugzilla entries? They are the same number...