Lagrange [release]

Text: Augment previous cherry-pick

Tue Jan 12 10:40:35 2021 +0200

 src/ui/text.c | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)