On Tue, 04 Feb 2020 11:41:42 +0100, Roman Penyaev wrote:
Hi Andrew,
Could you please suggest me, do I need to include Reported-by tag,
or reference to the bug is enough?
Sorry to jump in but FWIW I like the Reported-and-bisected-by tag to
fully credit the extra work done by the reporter.