Dmitry Tantsur 7a7022b317 [Trivial] Correct a typo in the docs
Follow-up to 08b5bd725a523f4458ada0d49a2e2dfd5ca20e02.

Change-Id: Id788c115e47ff40b2ecfcb078419c39304a120a3
2020-06-02 11:04:25 +02:00
..
2020-06-02 11:04:25 +02:00
2017-08-11 09:09:22 +00:00
2018-11-15 07:37:51 +00:00
2019-04-22 17:16:46 +02:00