On 05/16/2014 05:06 PM, Daniel-Constantin Mierla wrote:
Providing the version makes things simpler and easier to answer when the source code is not around.
Sorry, I should have indeed provided the version. It's a clone of the 4.1 branch at commit a7dc504075d3b5c74c6af6a3216338a0d604d1d8.