This patch addresses the two issues tracked in #18 and #19, squashing minor bugs and tightening up stability. It’s a bug-fix release, so users and integrators should upgrade to enjoy smoother, more reliable behavior.
This patch addresses the two issues tracked in #18 and #19, squashing minor bugs and tightening up stability. It’s a bug-fix release, so users and integrators should upgrade to enjoy smoother, more reliable behavior.