diff options
| author | David Pursehouse <david.pursehouse@gmail.com> | 2018-09-30 17:02:11 +0900 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@gmail.com> | 2018-09-30 17:02:11 +0900 |
| commit | d54fc955beee41714c648c7b1188d32792bb0a8e (patch) | |
| tree | 27ddf6d1e15fe4f4564127852fddffe2af75cb41 /org.eclipse.jgit.pgm/src/org | |
| parent | a97e79d95d2ae6952f340e649b38000100852a4d (diff) | |
| download | jgit-d54fc955beee41714c648c7b1188d32792bb0a8e.tar.gz jgit-d54fc955beee41714c648c7b1188d32792bb0a8e.zip | |
Bazel: Increase severity of DefaultCharset to ERROR
All existing instances of this issue have been fixed in preceding
commits. Increase its severity to ERROR so that it is easier to
detect reoccurences.
Change-Id: I50f95152857baac5ca44c15493f23b6f9cfac1bf
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
Diffstat (limited to 'org.eclipse.jgit.pgm/src/org')
0 files changed, 0 insertions, 0 deletions