Hi All, Just to inform you (especially the packagers) that I plan to make a point release of 0.15 next Sunday, with the latest fixes. Unless blockers or serious enough bugs surface, this should be the last 0.15 release. If you still have serious bugs under your hood and didn't dare to report them, please do it now ;-) - Chris -