On 2018/8/20 19:15, Marc Zyngier wrote: > I'd prefer you fix the documentation rather than the code, as this would > pointlessly break existing code. Ok, sure. I will, thanks a lot.
On 2018/8/20 19:15, Marc Zyngier wrote: > I'd prefer you fix the documentation rather than the code, as this would > pointlessly break existing code. Ok, sure. I will, thanks a lot.