Comment 13 for bug 2012993

Revision history for this message
Jeremy Stanley (fungi) wrote :

Are we still concerned about CI problems blocking merge of fixes? If not, let's go ahead and switch this to public and push a change to Gerrit.