Processed: Re: Bug#708070: enable x32 support for the amd64 kernels

To: Ben Hutchings <ben@decadent.org.uk>
Cc: debian-kernel@lists.debian.org
Subject: Processed: Re: Bug#708070: enable x32 support for the amd64 kernels
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Fri, 25 Jul 2014 01:06:07 +0000
Message-id: <[🔎] handler.s.B708070.14062501556274.transcript@bugs.debian.org>
References: <[🔎] 1406250129.29010.76.camel@deadeye.wl.decadent.org.uk> <51900D72.7030602@debian.org>

Processing control commands:

> tag -1 patch
Bug #708070 [linux] enable x32 support for the amd64 kernels
Added tag(s) patch.

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

Reply to:

References:
- Re: Bug#708070: enable x32 support for the amd64 kernels
  - From: Ben Hutchings <ben@decadent.org.uk>

Prev by Date: Re: Bug#708070: enable x32 support for the amd64 kernels
Next by Date: Re: Random panic in load_balance() with 3.16-rc
Previous by thread: Re: Bug#708070: enable x32 support for the amd64 kernels
Next by thread: Bug#708070: enable x32 support for the amd64 kernels
Index(es):
- Date
- Thread