File _patchinfo of Package patchinfo
<patchinfo incident="9517"> <issue tracker="bnc" id="1095723">pin not working: no ARCHIVES.gz on medium or FTP</issue> <category>recommended</category> <rating>moderate</rating> <packager>cboltz</packager> <description>This update for pin fixes the following issues: - read the correct column of /etc/os-release to really fix boo#1095723 - display the correct expected filename if ARCHIVES_*.gz doesn't exist </description> <summary>Recommended update for pin</summary> </patchinfo>