Closed matthewfeickert closed 6 years ago
This probably doesn't deserve a merge commit, so unless you have strong opinions about full preservation of Git history this can get squashed and merged.
Good catch!
This probably doesn't deserve a merge commit, so unless you have strong opinions about full preservation of Git history this can get squashed and merged.