On 04/11/2015 06:03 AM, David Rowley wrote:> Attached is a small patch which removes some duplicated words that have> crept into some comments.
Thanks, applied.
- Heikki