Skip to content

Couple more 0.100 fixes

This is a couple more bug fixes towards finally releasing 0.100. These should be cherry-picked into stable-0.100.

Merge request reports