On Wed, May 7, 2014 at 6:42 PM, Pavel Sanda <sa...@lyx.org> wrote: > Scott Kostyshak wrote: >> > Yes, only our admin gurus can do that. >> >> Should I poke them directly? > > If they don't listen I would try throwing stones :)
Hm.. I'm pretty sure they could find much bigger stones to throw at me. I'll wait a bit and then increase my annoyance level. Scott
