On 5/8/25 16:37, David Disseldorp wrote:
Hi Ian,
On Mon, 4 Aug 2025 09:31:22 +0800, Ian Kent wrote:
Hi David,
I was surprised to see this because I'm working on the very same problem.
But since I didn't have a reproducer I've painstakingly worked through
the map reload related code.
I don't know if my changes have fixed the problem but I can post them
for you to try them out.
Sounds good to me, I'm happy to run any rough drafts in my reproducer
environment.
I've been a bit ill with a respiratory infection so I've been slowed up.
I'll post the series as soon as I can give the latest revision a bit of
a test myself.
Ian
