Closed btoomey closed 7 years ago
@btoomey I gave you access. Please merge only when (a) all tests pass, (b) merge can be performed automatically and (c) your code has been reviewed by someone.
Since these changes are trivial and both (a) and (b) are satisfied, let me merge it in.
@ramnathv : Can you merge this? I still don't appear to have merge access to this repo.