Release 1.5.17

Posted on October 19, 2022October 19, 2022 by Cynthia Kurtz

This very tiny release fixes a bug in which some help links were wrongly capitalized. That’s it!

As always, if you find any bugs, please tell me on the GitHub issues page.

Posted in Releases.