On Thu 23 Dec 06:44 PST 2021, Stanislav Jakubek wrote: > Hi Bjorn, it seems to me like a patch similar to Patch 1/3 was applied > some time ago, see 61339f368d59d25e22401731f89de44e3215508b, and applying > this patch has caused the compatible to be documented twice. > I'm confused to why git allowed me to merge patch 1 without complaining, but that obviously shouldn't have been merged twice. Thanks for reporting this! Let's clean that up, would you be interested in submitting a patch for it? Regards, Bjorn