diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-01-29 15:52:06 +0100 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-01-30 10:29:21 +0000 |
| commit | fb343ecc19084bf98da750539377d508c9e077b3 (patch) | |
| tree | a63a0d3ed4d1916a4b4e4128640384eb57b1e941 /sys/linux/dev_iommu.txt.const | |
| parent | 3c3c9007d75874c34398f9df1387c9eb8c54479e (diff) | |
all: record diverted bug reproductions
In some cases, we derail during bug reproduction and end up finding and
reporting a reproducer for another issue. It causes no problems since
it's bucketed using the new title, but it's difficult to trace such
situations - on the original bug page, there are no failed reproduction
logs and on the new bug page it looks as if we intended to find a
reproducer for the bug with the new title.
Let's record bug reproduction logs in this case, so that we'd also see
a failed bug reproduction attempt on the original bug page.
Diffstat (limited to 'sys/linux/dev_iommu.txt.const')
0 files changed, 0 insertions, 0 deletions