Page MenuHomePhabricator

Fix the type of the header receive time
ClosedPublic

Authored by Fabien on Oct 1 2024, 20:48.

Details

Reviewers
bytesofman
Group Reviewers
Restricted Project
Commits
rABC5b92b0a94a62: Fix the type of the header receive time
Summary

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.

Test Plan
ninja all check-all