On 4/28/2020 9:38 PM, Oleksij Rempel wrote: > @Rob, thank you for the review. > > @David, should I send fixes or reworked initial patches? You need to send incremental patches, once David applies the patches, they are part of the git history for the trees he maintains. -- Florian
