New release 2.0.12!

Jan. 23, 2023

Important bugfix release.