This PR fixes a typo of "the the" to "the".
Comment From: pivotal-cla
@boniato Please sign the Contributor License Agreement!
Click here to manually synchronize the status of this Pull Request.
See the FAQ for frequently asked questions.
Comment From: pivotal-cla
@boniato Thank you for signing the Contributor License Agreement!
Comment From: snicoll
@boniato thanks for raising your first PR. As I've indicated a few days ago, we're not keen to make changes to our copy of ASM. Thanks anyway.