diff options
author | Michael Muré <batolettre@gmail.com> | 2018-10-06 11:55:16 +0200 |
---|---|---|
committer | Michael Muré <batolettre@gmail.com> | 2018-10-06 11:55:16 +0200 |
commit | 64133ee5ba4b03e2f7f2f2161b1d551a97bd0d80 (patch) | |
tree | 9459d5c83f38441985c003a1a306783c47ddfaf8 /webui/src/Author.js | |
parent | 558e149b2524864beff3912f44fdb887edeb7ac5 (diff) | |
download | git-bug-64133ee5ba4b03e2f7f2f2161b1d551a97bd0d80.tar.gz |
github: deal with the deleted user case where github return a null actor
Diffstat (limited to 'webui/src/Author.js')
0 files changed, 0 insertions, 0 deletions