Closed schornakj closed 3 years ago
Thanks for the PR.
I noticed that your commit isn't actually attributed to your account (uses your @wpi
address). Would you want to fix that first?
Thank you for checking account attribution - I'll fix that later today and update.
@gavanderhoorn Just tying up loose ends -- do these changes still look OK?
@gavanderhoorn Any objections to merging this?
@gavanderhoorn I was going through my open PRs and I noticed that this one is still unresolved. Looks like it just needs someone authoritative to review it. Is this still a fix we want to implement?
Rebased version in #260 (with some additional commits).
Thanks for the initial PR @schornakj :+1:
Fix for issue #175. It looks like the desired behavior is: