Processed: Re: Bug#934090: built-in PINCTRL drivers should be modules

To: Ben Hutchings <ben@decadent.org.uk>
Cc: debian-kernel@lists.debian.org
Subject: Processed: Re: Bug#934090: built-in PINCTRL drivers should be modules
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 06 Aug 2019 21:42:07 +0000
Message-id: <[🔎] handler.s.B934090.15651274904773.transcript@bugs.debian.org>
References: <[🔎] 56e1bcf20b75fc97bde043a9168b26868356bb30.camel@decadent.org.uk> <[🔎] 4fa7cafa-69b7-4c12-9d6f-27e490cadd3d@www.fastmail.com>

Processing control commands:

> severity -1 wishlist
Bug #934090 [src:linux] built-in PINCTRL drivers should be modules
Severity set to 'wishlist' from 'normal'

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

Reply to:

References:
- Bug#934090: built-in PINCTRL drivers should be modules
  - From: Ben Hutchings <ben@decadent.org.uk>
- Bug#934090: built-in PINCTRL drivers should be modules
  - From: thomasw@fastmail.cn

Prev by Date: Bug#934090: built-in PINCTRL drivers should be modules
Next by Date: Bug#934091: Missing HID driver modules (Most are fairly new since 5.0 or so)
Previous by thread: Bug#934090: built-in PINCTRL drivers should be modules
Next by thread: Bug#934091: Missing HID driver modules (Most are fairly new since 5.0 or so)
Index(es):
- Date
- Thread