On Thu, Feb 16, 2023 at 12:31:48PM -0500, Jeff King wrote: > On Thu, Feb 16, 2023 at 06:56:41AM +0100, Torsten Bögershausen wrote: [] Thanks for the patience with my somewhat confusing emails- I was to much confused by the fact that I couldn't reproduce the problem here. In short: The bug is in good hands.