We just got feedback from the submitter of #356226 saying that his bug has been fixed by my changes to the umountfs script. A couple of other bugs have been fixed since -13. I'd like to release -14 before -13 goes into testing in four days. HMH: Thanks for doing the last release. Can you do this one too? -- Thomas