Re: [Patch] Bug 2739 - Alphabetical sort of environments in the toolbar

[Pavel Sanda]

> > JMarc, do you plan to commit it ?
> 
> Me? No, I did not! But if nobody did anything on monday, I'll do it.

please.
pavel