> > Don't you think it's worth it?  
> 
> I don't think so, but at the end of the day, Markus will make the
> decision and that's what matters. The maintainer decides what to merge
> and what not.

Same as Lalso on this.

Reply via email to