Our replies overlapped. 'resolved: *' is even better than 'triaged: *'.
On 29.10.19 12:57, Matthias St. Pierre wrote:
Another idea just occurred to me: we could join the 'closed: *' labels with the 'triaged: *' labels: triaged: duplicate triaged: not a bug triaged: wont fix