diff options
| author | Enno <enno@runne.net> | 2017-02-12 17:54:33 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-02-12 17:54:33 +0100 |
| commit | 8bdc91f7a5fc3efd93b6be255ec1bfb83787c69b (patch) | |
| tree | b4174a4f6eb2e7fb50fe216f944476053426f3a4 /bot | |
| parent | e360c2a57ca679588fa2116309c44f2b17902b4e (diff) | |
| download | dotty-8bdc91f7a5fc3efd93b6be255ec1bfb83787c69b.tar.gz dotty-8bdc91f7a5fc3efd93b6be255ec1bfb83787c69b.tar.bz2 dotty-8bdc91f7a5fc3efd93b6be255ec1bfb83787c69b.zip | |
Change 'overrides nothing' to report via Message (see #1965) (#1968)
* Change 'overrides nothing' to report via Message, split into two different messages
* Change 'overrides nothing' to report via Message, split into two different messages
Diffstat (limited to 'bot')
0 files changed, 0 insertions, 0 deletions