Hi Willy, Did you already have the chance to take a look at the updated patches? No hurry though, I just wanted to make sure that the message didn't get lost.
As mentioned, I am aware that sending individual patches is better in the common case. If that is a problem here, please just let me know. Best, Alexander
