On Sat, Mar 14, 2020 at 07:15:47PM +0000, Elijah Newren via GitGitGadget wrote: > From: Elijah Newren <newren@xxxxxxxxx> > > When commit 8b2f8cbcb1 ("oidset: use khash", 2018-10-04) moved from > using oidmap to khash, it replaced the oidmap.h include with both one > for hashmap.h and khash.h. Since the hashmap.h header is unnecessary, > and the point of the patch was to switch from hashmap (used by oidmap) > to khash.h, remove the unneccessary include. Good catch. I doubt this is causing problems, but it's obviously the right thing to do. I ran "make hdr-check" to confirm that no _other_ headers were subtly relying on this include. -Peff