Robuta

https://80x24.org/lore/git/127f4fca309a2ccfe7476e93462d3b3287faaa98.1684218852.git.gitgitgadget@gmail.com/ [PATCH v3 20/28] diff.h: remove unnecessary include of oidset.h - Elijah Newren via GitGitGadget