diff options
| author | Andrew Lee <andrew.lambda@tuta.io> | 2020-01-28 10:47:37 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-28 10:47:37 -0800 |
| commit | 07ee4d39c5f14a0a389a9317035188852362406f (patch) | |
| tree | 74c59f81a8d52433fe720a78537fe6cac2b1b8be /ale_linters | |
| parent | 4afbf2f25dc0ce86b118261b0cfb904c80ae6ba0 (diff) | |
| download | ale-07ee4d39c5f14a0a389a9317035188852362406f.zip | |
misc: change email address for @ndrewtl
This is kind of a peculiar reason for a PR, but I no longer control the email listed. I want to change it to avoid people getting the wrong email for me. Also, I still control the domain, but if at any point I don't, I want to put down in writing that if you get an email from this, it's not from me.
Diffstat (limited to 'ale_linters')
0 files changed, 0 insertions, 0 deletions