[ci skip] docfix .. < => ..< (#12981) [backport]

This commit is contained in:
Timothee Cour 2019-12-29 15:34:36 +01:00 • committed by Andreas Rumpf
commit 8c19372690