Wuzzy 6910c8d920 Fix number of tool uses being off by 1..32767 (#11110)

2021-10-31 22:33:33 +00:00

..

devtest

Fix number of tool uses being off by 1..32767 (#11110)

2021-10-31 22:33:33 +00:00