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
..
2020-05-08 12:29:11 +02:00
2020-03-17 18:36:55 +01:00
2020-02-13 19:39:47 +01:00
2020-05-10 03:02:36 +02:00
2020-05-07 08:24:25 +02:00
2019-07-11 14:35:08 -07:00
2020-04-02 00:57:34 +02:00
2020-02-13 19:39:47 +01:00
2019-07-11 14:35:08 -07:00