rust/hg-core/src/revlog/index.rs
changeset 51198 51cc12158f97
parent 51197 4e6620b7fbbb
child 51203 7434747343ab
--- a/rust/hg-core/src/revlog/index.rs	Mon Oct 30 10:34:48 2023 +0100
+++ b/rust/hg-core/src/revlog/index.rs	Thu Aug 03 10:28:10 2023 +0200
@@ -426,6 +426,10 @@
         Ok(())
     }
 
+    pub fn pack_header(&self, header: i32) -> [u8; 4] {
+        header.to_be_bytes()
+    }
+
     pub fn remove(&mut self, rev: Revision) -> Result<(), RevlogError> {
         let offsets = self.get_offsets().clone();
         self.bytes.remove(rev, offsets.as_deref())?;