Closing dev-redstone