On Mon, Sep 19 2022 at 04:29:22 PM +0200, Kalev Lember
<kalevlember(a)gmail.com> wrote:
I would guess it happened because the F36 webkitgtk version number
was ahead of the F37 webkitgtk version, so the versioned obsoletes
that the F37 webkitgtk packages have didn't match.
Oh, OK then. Good catch!