Remove Header
trait
#617
Labels
A: low-priority
Admin: low priority / non urgent issue, expect longer wait time for PR reviews
O: code-hygiene
Objective: aims to improve code hygiene
Milestone
The
Header
trait is only used in tests, and doesn't serve a clear purpose. We should remove it.The text was updated successfully, but these errors were encountered: