On Mon, Sep 29, 2025 at 08:52:55PM +0200, Jonas Smedegaard wrote: > Hi Andrew, [snip] > How is the issue covered by this bugreport different from that covered > by bug#1001634? I mean, it seems to me that you are describing exactly > the same issue, and then proposing a concrete solution to that issue. > > If you agree, then I will merge those bugreports. If not, then please > elaborate what distinguishes the underlying issue you are reporting > here.
Short answer - feel free to merge. Long answer - I had read #1001634 as being about a more complex situation, where the edge case described in my previous message was just an aside. Reading it again, I see it actually evolved from the former to the latter. My mistake!
