diff options
| author |  Nick Glorioso <glorioso@google.com> | 2016-10-31 16:31:40 -0700 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2017-01-20 14:39:03 +0100 |
| commit | c51d506eb83f1e5974e3317c53532f6e81ca50d8 (patch) | |
| tree | 4e37d07473450897e68a304bb51b02c3f036587b /src/main | |
| parent | 9d99bc45df4a6fcfb929cf6e641459f8b33077e3 (diff) | |
Bump error-prone version to 2.0.15
Fixes #2230.
Change-Id: I1b7977bfc14da072c750faf97daaeabfd69fdd2c
Diffstat (limited to 'src/main')
0 files changed, 0 insertions, 0 deletions