2 commits

Author	SHA1	Message	Date
Andreas Rumpf	f30da2f266	fixes #12315 [backport]; refs #12314 (#12385)	2019-10-08 20:49:45 +02:00
Andreas Rumpf	742862b847	more enhancements for #11618 (#11976) ... * finish the Windows IO layer changes; refs #11618 * added system.getOsFileHandle which is less error-prone on Windows * make tests green again	2019-08-18 22:57:56 +02:00