On 07/08/2016 01:30 PM, Lukas Slebodnik wrote:
We review some patches in hurry yesterday
and therefore I misse some issues.
I noticed after packaging 1.14.0 in rawhide
I thought I fixed this. Anyway,
I did not push to CI, because it is
busy right now, but I think we can
push this even without CI, because it
is really small change.