On 17/10/19 15:30, Andrew Jones wrote: > Paolo, do you want me to do PULL > requests for all the arm-related patches? Yes, that's why it's not merged. :) This patch is mostly automatically generated, so Thomas can send me v2 after your pull request is in, and I'll apply it. Paolo
