Commit fb439c975a2de33f5b0c317f3fdea49dc94b27dc

Patrick Steinhardt 2019-11-28T14:41:58

Merge pull request #5306 from herrerog/patchid diff: complete support for git patchid