Processing commands for control@bugs.debian.org: > reopen 94701 Bug#94701: [PR optimization/2960] Duplicate loop conditions even with -Os Bug reopened, originator not changed. > quit Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)