Hi!
> Now that everything has been merged down I
> think this branch should be killed.
>
> Any objections?
>   
My last patch is not merged down, shall I commit it there?

Ciao,
Mario

Reply via email to