This is currently an uint64_t, but:
- It is always assigned int64_t
- The getter returns an int64_t
Let's turn it into a int64_t. Note that this field is not persisted to disk so it doesn't cause issue.
Differential D16835
Fix the type of the header receive time Fabien on Oct 1 2024, 20:48. Authored by Tags None Subscribers None Tokens
Details
This is currently an uint64_t, but:
Let's turn it into a int64_t. Note that this field is not persisted to disk so it doesn't cause issue. ninja all check-all
Diff Detail
|