Robert Hensing 9ee4a85a99 doc/manual: Fix some broken fragments ... (cherry picked from commit 071ddbed57) # Conflicts: # doc/manual/src/language/operators.md		2025-01-10 10:17:08 +00:00
..
manual	doc/manual: Fix some broken fragments	2025-01-10 10:17:08 +00:00