On 2/19/20 12:19 PM, Marc Zyngier wrote:
On 2020-02-11 10:08, Alexandre Torgue wrote: [...]Yes. It'll be fixed in v2.And when you do that, please use my official email address (my @arm.com address goes to my ex manager, and I don't think he cares much about this).
Ok I update my script. Alex
M.
