diff options
| author | 2018-07-29 12:46:48 +0200 | |
|---|---|---|
| committer | 2018-07-29 12:46:48 +0200 | |
| commit | e947a6c31431f77dfcf27d682831abeec679c882 (patch) | |
| tree | fea451b9bf297fa2844a1234eec0073da90b9fb3 /docker | |
| parent | Still WIP, but almost done. I think I need the clean MRs merged before I cont... (diff) | |
| parent | Default to developer role if message.author returns a User instead of a Member. (diff) | |
merge conflict resolution
Diffstat (limited to 'docker')
0 files changed, 0 insertions, 0 deletions