This was missed in e754c8e8 / e2710e790c0 since those functions weren't exercised by checkasm. Fixes ticket #6766. (cherry picked from commit f1fd12ef858cf7efe843aa3063894a11b2d1e7d5)
This was missed in e754c8e8 / e2710e790c0 since those functions weren't exercised by checkasm. Fixes ticket #6766. (cherry picked from commit f1fd12ef858cf7efe843aa3063894a11b2d1e7d5)