Filip Maj Mon, 07 Jan 2013 14:20:10 -0800
Yep go ahead and file an issue. On 1/7/13 12:52 PM, "Shazron" <shaz...@gmail.com> wrote:
>Last commit was a month ago. Do I need to file an infra issue? Not sure of >the procedure here.
