As Mike noted, butternut hasn't been updated yet but we will do so tomorrow. The issue you noted is fixed in Mike's branch from this morning.
As Mike noted, butternut hasn't been updated yet but we will do so tomorrow. The issue you noted is fixed in Mike's branch from this morning.