On 10/16/2012 09:13 PM, Kay Schenk wrote:
On 10/16/2012 05:07 AM, Herbert Duerr wrote:
Can someone with karma on buildslave20 please do this?
[...]
If this is a backend thing (on the vm for the buildbot), a jira ticket
to infra is probably needed.

According to the FAQ on contacting infra ("Do ask in your project whether someone has the karma to implement the requested change before asking infra") and knowing that we have members with the karma I wanted to ask here first, as this could save a lot of time.

Herbert

Reply via email to