On Sat, 12 Nov 2022, Sergey Mende wrote:
Hi,
during development of my own project I hit the bug in `gdb` that is already fixed
upstream but not backported to rawhide yet.
I did a backport and ready to submit a PR. What is the right way to proceed:
a) just file a PR;
b) open a bug in bugzilla, submit a PR;
c) submit a PR, open a bug in bugzilla noting that PR is in a way?
It looks like the gdb maintainer(s) are relatively responsive to PRs, so
you could probably just open a PR.
Scott