Comment 2 for bug 880103

Thanks for your answer.
In fact after I reported the possible bug, I went to your git page download the latest sources and build them without any problem so I think you can close the bug.