Closed hnez closed 6 months ago
A backport of #92 for mickledore. See the description there for details.
I've made sure this builds. Since #92 is already reviewed I think this is enough to merge this.
A backport of #92 for mickledore. See the description there for details.