Processed: Re: Bug#874536: linux: arm64ilp32 support

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing control commands:

> tag -1 upstream
Bug #874536 [src:linux] linux: arm64ilp32 support
Added tag(s) upstream.
> tag -1 - patch
Bug #874536 [src:linux] linux: arm64ilp32 support
Removed tag(s) patch.
> notfound -1 4.9.30-2+deb9u2.1
Bug #874536 [src:linux] linux: arm64ilp32 support
The source 'linux' and version '4.9.30-2+deb9u2.1' do not appear to match any binary packages
Ignoring request to alter found versions of bug #874536 to the same values previously set
> found -1 4.13~rc7-1~exp1
Bug #874536 [src:linux] linux: arm64ilp32 support
Marked as found in versions linux/4.13~rc7-1~exp1.

-- 
874536: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=874536
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems