The following commit has been merged in the merge/master branch: commit f3e525de06028d1ac7b000ed10e2289ec03b54d0 Merge: 84f863520532ed2988726aad0cee78f19838ed13 3cb3f123007239a55111e67075f9a353191088e1 Author: Marek Lindner mareklindner@neomailbox.ch Date: Wed May 11 15:59:00 2016 +0800
Merge branch 'next'