stable
725c01ba · This commit was manufactured by cvs2svn to create tag 'stable'. · Dec 19, 2018