chiark / gitweb /
Warnings: Sort occurrences properly in local+global warnings
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 28 Dec 2019 12:52:01 +0000 (12:52 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 30 Dec 2019 11:35:16 +0000 (11:35 +0000)
commita57defbff4c95ddb492dbd0c605611d11192dde5
tree9f109a63c890c2bf959f71860a329b478c251a94
parent32261735a134418b3bc26fc49d816e487b8338e5
Warnings: Sort occurrences properly in local+global warnings

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
generate