On 20.08.20 09:37, Marc Zyngier wrote:
On 2020-08-19 00:24, Alexander Graf wrote:
Hi Marc,
[...]
I haven't seen a v3 follow-up after this. Do you happen to have that
somewhere in a local branch and just need to send it out or would you
prefer if I pick up v2 and address the comments?
I'll look into it.
Thank you :)
Alex
Amazon Development Center Germany GmbH
Krausenstr. 38
10117 Berlin
Geschaeftsfuehrung: Christian Schlaeger, Jonathan Weiss
Eingetragen am Amtsgericht Charlottenburg unter HRB 149173 B
Sitz: Berlin
Ust-ID: DE 289 237 879