On Thu, May 16, 2013 at 3:09 AM, Marius Ungureanu <teromario at yahoo.com> wrote: > > https://github.com/mono/monodevelop/pull/286 Added. Thanks. -- MM "All we have to decide is what we do with the time that is given to us"