Karol Babioch a88f889652
Remove abundant word used twice (#13387)
There is an abundant `put` in the introduction being used twice right after each other. Most probably this is an oversight / typo. This removes one instance of the word, to make the sentence better readable and grammatically correct.
2020-05-10 20:43:59 +02:00
..