twitter/bootstrap — pull request #4583 by elithompson (2012-08-22 15:27:13+00:00)
Title: <p>'s bottom margin is 10px, not 9px

I was just reading through and saw that this detail wasn't updated when the line height was changed from 18px to 20px.