On Tue, Feb 14, 2017 at 06:37:16 +0000, Rostislav Pehlivanov wrote: > Applied! > Thanks for all the people who commented on it This deserves a Changelog entry. (I missed that during the review process.) Moritz