client: better texts/toc interactions

This commit is contained in:
2020-07-13 15:11:18 +02:00
parent 536ba0783b
commit 82ae413857
+1 -1
Submodule client updated: 64f38eac6f...14beb796ea