Can you drop the splice patches?

From: David Howells
Date: Fri Apr 21 2023 - 11:46:14 EST


Hi Jens,

Can you drop the splice patches for the moment, please? Al spotted problems
with them.

David