https://bugzilla.redhat.com/show_bug.cgi?id=1994234
--- Comment #5 from Fabio Valentini <decathorpe(a)gmail.com> ---
I don't know what happened, the pull request was closed as "Merged", but
the
change does not show up in the master branch.
Maybe the developer accidentally force-pushed changes that overwrote your
changes from the PR?
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
https://bugzilla.redhat.com/show_bug.cgi?id=1994234