Closed mgopez closed 6 years ago
@peterk87, since you're on vacation I'm having @Takadonet review the changes. I felt that the changes were relatively small, so Phil should be able to verify the changes. Enjoy your vacation!
@Takadonet said that I could merge this PR, doing so in behalf of him.