update devel to keep it up with main #23

Closed tetrapharmakon closed 11 months ago