The following commit has been merged in the merge/master branch: commit be7b6a05be9808567fc951bc43132153dcb4fd01 Merge: ef30ba92e5bba3a1c63f837814b6bcb28559d315 2a89d102d9033ef2d30a8e0dc350afaa36fd36c5 Author: Marek Lindner mareklindner@neomailbox.ch Date: Tue Feb 16 17:22:54 2016 +0800
Merge branch 'next'