diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2017-10-12T11·10+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-12T11·10+0200 |
| commit | 97307811ee478c30472539a477981d24ec0971de (patch) | |
| tree | b4fd1ba4f5f6575bcf6472a85985152173830f97 /config | |
| parent | 73252aef18c73f4834b346c677fb723c3a58fb37 (diff) | |
| parent | 6920c237016e5f33d06f948a6f8485e23c1900f6 (diff) | |
Merge pull request #1571 from teto/improve_priority_msg
Improve error message for conflicting priorities
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions