Stuff on the local methods branch

[Maurizio Cimadamore]

On 06/01/2020 23:39, Jesper Steen Møller wrote:
> Oh, and who'll merge in the latest updates from default into the 'local-methods'-branch?

Merges are done on a best-effort basis. We have an automated infra which 
attempts automerges from mainline, but when there are failures 
resolution is manual.

I believe Srikanth will be looking into that soon.

Cheers
Maurizio