Reset hdr_ready_seen
We didn't reset it, so only 1 packet could be duplicated after a reset
We didn't reset it, so only 1 packet could be duplicated after a reset
3-reset-hdr_ready_seen
to address this issue created branch 3-reset-hdr_ready_seen
to address this issue
mentioned in merge request !3 (merged)
mentioned in commit 1df1528d
closed with merge request !3 (merged)