imp@ wrote: > I don't see any further emails on this thread. Was there ever a resolution, > or just crickets? It looks ignoring all complaints is the default strategy. (not taking PRs, no PR numbers in logs...) --- Izumi Tsutsui