Home > mailing lists

Thread: Remove some duplicated words in comments

Remove some duplicated words in comments

From

David Rowley

Date:

12 April 2015, 04:12:23

Attached is a small patch which removes some duplicated words that have crept into some comments.

Regards

David Rowley

Attachment

duplicate_words_in_comments_fix.patch

Re: Remove some duplicated words in comments

From

Heikki Linnakangas

Date:

12 April 2015, 10:51:57

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