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

From	owner@bugs.debian.org (Debian Bug Tracking System)
Newsgroups	linux.debian.kernel
Subject	Processed: Re: Bug#874536: linux: arm64ilp32 support
Date	2017-09-07 16:00 +0200
Message-ID	<un5vz-A2-5@gated-at.bofh.it> (permalink)
References	<un5vz-A2-1@gated-at.bofh.it> <umVZg-2GT-3@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw

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

Back to linux.debian.kernel | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

Bug#874536: linux: arm64ilp32 support Wookey <wookey@debian.org> - 2017-09-07 05:50 +0200
  Bug#874536: linux: arm64ilp32 support Ben Hutchings <ben@decadent.org.uk> - 2017-09-07 16:00 +0200
    Bug#874536: linux: arm64ilp32 support Wookey <wookey@wookware.org> - 2017-09-07 16:10 +0200
      Bug#874536: linux: arm64ilp32 support Ben Hutchings <ben@decadent.org.uk> - 2017-09-07 17:10 +0200
        Bug#874536: linux: arm64ilp32 support Wookey <wookey@wookware.org> - 2017-09-07 17:40 +0200
  Processed: Re: Bug#874536: linux: arm64ilp32 support owner@bugs.debian.org (Debian Bug Tracking System) - 2017-09-07 16:00 +0200

csiph-web