diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-02-27 02:56:30 +0100 |
---|---|---|
committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-02-27 02:56:30 +0100 |
commit | 4d3f591f10c9227279bf46f03819f983fed0f410 (patch) | |
tree | 24f2301c1d51fe374a71351b7e390bbde279442b /live/config/chroot_local-includes/usr | |
parent | 77877a39ef752adb77790b4c777c73bc6496601d (diff) | |
download | jenkins.debian.net-4d3f591f10c9227279bf46f03819f983fed0f410.tar.xz |
reproducible: notes: check wheter the package has been tested before rebuilding the page in purge_old_notes(). This fix a issue with packages removed from the archive
Diffstat (limited to 'live/config/chroot_local-includes/usr')
0 files changed, 0 insertions, 0 deletions