diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-08-28 17:38:45 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-08-28 18:52:51 +0200 |
| commit | 8f67a76a544a9ff7b60de64d5619a63296c9553e (patch) | |
| tree | 719f66c45ddbd71f535e49fb8fa66d54c4a44791 /po | |
| parent | 5416d9a942468d70441515a9a6492be7625fd75c (diff) | |
| download | guix-8f67a76a544a9ff7b60de64d5619a63296c9553e.tar.gz | |
lint: Log diagnostics with 'info', not 'warning'.
* guix/scripts/lint.scm (emit-warnings): Use 'info', not 'warning'. This removes the unhelpful "warning:" prefix that commit 3d33c93cef67d88bdc9409959f3c1f3857af09cf introduced.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions