diff options
| author | 2019-10-09 21:57:42 +0000 | |
|---|---|---|
| committer | 2019-10-09 21:57:42 +0000 | |
| commit | 5c12df642b380fdca90ef16d30c2e368fffe8097 (patch) | |
| tree | cb1ff4e3bcd8dccd79d2aa806209700d9e49ab0a /tools/codegen/src | |
| parent | e2c5308f03fafdadec12d23cd78419d37312b3a1 (diff) | |
| parent | d06da23f07ee24c1c6180aad9ee56cee2d650503 (diff) | |
Merge "Tiny improvement on UserInfo.getUserHandle()"
Diffstat (limited to 'tools/codegen/src')
0 files changed, 0 insertions, 0 deletions