The following commit has been merged in the merge/master branch: commit 55cfcceab90a0b9f234f8066ad0dc71ab99bcb25 Merge: 0d8468553c3cec3a029b984a729540f8049a5a1a c5ebb1bf9de9cd4420fa7df3fada088b6a590b73 Author: Marek Lindner mareklindner@neomailbox.ch Date: Thu May 5 18:06:04 2016 +0800
Merge branch 'next'