Virtualmin install script version 7.1.2 released

Nevermind, it’s broken. I’ve rolled back to 7.1.0 until we can sort out what went wrong.