HomeIsabelle/Phabricator

back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012…