What does editor@ think about having PR #225 squashed?
Is that Steve's?
If so, no strong feelings either way. It's quite a messy commit history.
I'd personally would prefer a squashed commit. Not sure how others feel about it.