diff options
author | Thomas Munro | 2023-10-16 00:23:51 +0000 |
---|---|---|
committer | Thomas Munro | 2023-10-16 00:32:41 +0000 |
commit | 01529c7040088db2718628d0814058598152bd39 (patch) | |
tree | c300a3c33626e1510dc172a513bc2c696618d46a /doc/src | |
parent | e83d1b0c40ccda8955f1245087f0697652c4df86 (diff) |
Fix comment from commit 22655aa231.
Per automated complaint from BF animal koel this needed to be
re-indented, but there was also a typo. Back-patch to 16.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions