Closed ericdand closed 5 months ago
/lgtm
/approve
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: dorileo, ericdand
The full list of commands accepted by this bot can be found here.
The pull request process is described here
@adsr deserves credit for the majority of this change; I just finished touching it up to address the feedback I had on his pull request, which appears to have been abandoned, but is a good change to check in nonetheless.
Along the way, I also properly formatted the TODO messages I saw to include an author name, per the Google style guide.