Hello Phong,

I wanted to give you the pleasure to merge yourself, so I have rebased
one last time instead of pushing directly (there are still a few i686
packages waiting to be built, and doing this on the branch or on master
makes no real difference). But I can also merge later today.

Andreas




Reply via email to