![Ian Wienand](/assets/img/avatar_default.png)
It looks like we missed these in cleanups for the old puppet-managed mirror-update server (I5f82139c981c2716f568b15b118690e943b02d52). These are unused. Change-Id: Ia79920a7567d73d311f37d73e10c1396d09ddf93
It looks like we missed these in cleanups for the old puppet-managed mirror-update server (I5f82139c981c2716f568b15b118690e943b02d52). These are unused. Change-Id: Ia79920a7567d73d311f37d73e10c1396d09ddf93