linux-kernel.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* 3.16.0-4-amd64 linux kernel userspace breakage
@ 2015-02-02 13:58 Luke Kenneth Casson Leighton
  2015-02-03 22:46 ` Luke Kenneth Casson Leighton
  0 siblings, 1 reply; 2+ messages in thread
From: Luke Kenneth Casson Leighton @ 2015-02-02 13:58 UTC (permalink / raw)
  To: Linux Kernel Mailing List

[-- Attachment #1: Type: text/plain, Size: 2881 bytes --]

hi folks, i thought with the focus on "not breaking userspace" a
general report of two occurrences of exactly that occurring may be
appreciated.  firstly: as a long-standing linux user (and minor
contributor) i fully appreciate that this is not the "latest version"
however this is a live-running stable system (quantity 1) on which
compiling then testing absolute latest-and-greatest requires both some
thought and some scheduling for when it is non-disruptive.  your
patience and understanding therefore appreciated, taking this into
account if more info is required.

hardware: a standard (modern, 2014) 13in macbook pro with its
proprietary OS entirely removed, replaced with debian from grub-efi
boot.

last known good kernel: 3.13.

/proc and other entries: attached [dmesg is not included as it is
completely overrun with EMI-induced ATA resets/spikes]

first issue: compared to 3.13, pulseaudio is no longer functional
(does not even start up) despite applications being configured to
start it.

second issue: compared to 3.13, detection of microsd cards has
disappeared to the extent that there isn't even an entry in dmesg
indicating that the insertion ever occurred.

now, if this was just one issue (audio) i would have tolerated this
and not reported it.  however *two* separate issues means that i am
going to have to return to the older version of the linux kernel [with
a disruptive reboot where i have to terminate and lose state
information from over 40 xterms, and terminate one browser session
with over 200 tabs, 5 manually-started 3D CAD applications and shut
down one VM running PCB CAD software].

regarding the audio, the setup that i have is quite complex as it includes::

* pulseaudio to jack virtual redirection
* jack to a virtual alsa audio device with automatic "mixing"
* alsa with a virtual device as the default

the reason for the complexity is to ensure that one single ALSA
application does not dominate and take complete utter control of
audio, rendering other audio applications useless without a restart.
example: if firefox with a flash plugin gains control of the ALSA
audio device it is from then on completely impossible to use VLC...
unless firefox (with over 200 tabs) is terminated and restarted.

also adding to the complexity is the inclusion of skype, which forced
the addition of pulseaudio.

now, what *does* work on sound is the built-in audio from jackd.
firefox, vlc - all are operational.  however, with skype only having
the option to use pulseaudio, and pulseaudio no longer starting, i
have to return to 3.13 very soon.

if anyone would like to help investigate, please do ask questions and
i will happily run commands to provide more information.  however
please bear in mind that this is sufficiently disruptive to my work
that i will need to return to 3.13 (and stay there indefinitely)
within a few days at most.

l.

[-- Attachment #2: lspci --]
[-- Type: application/octet-stream, Size: 5340 bytes --]

00:00.0 Host bridge: Intel Corporation Haswell-ULT DRAM Controller (rev 09)
	Subsystem: Apple Inc. Device 011a
	Flags: bus master, fast devsel, latency 0
	Capabilities: <access denied>

00:02.0 VGA compatible controller: Intel Corporation Device 0a2e (rev 09) (prog-if 00 [VGA controller])
	Subsystem: Apple Inc. Device 011a
	Flags: bus master, fast devsel, latency 0, IRQ 67
	Memory at b0000000 (64-bit, non-prefetchable) [size=4M]
	Memory at a0000000 (64-bit, prefetchable) [size=256M]
	I/O ports at 2000 [size=64]
	Expansion ROM at <unassigned> [disabled]
	Capabilities: <access denied>
	Kernel driver in use: i915

00:03.0 Audio device: Intel Corporation Haswell-ULT HD Audio Controller (rev 09)
	Subsystem: Apple Inc. Device 011a
	Flags: bus master, fast devsel, latency 0, IRQ 68
	Memory at b0a10000 (64-bit, non-prefetchable) [size=16K]
	Capabilities: <access denied>
	Kernel driver in use: snd_hda_intel

00:14.0 USB controller: Intel Corporation Lynx Point-LP USB xHCI HC (rev 04) (prog-if 30 [XHCI])
	Subsystem: Intel Corporation Device 7270
	Flags: bus master, medium devsel, latency 0, IRQ 63
	Memory at b0a00000 (64-bit, non-prefetchable) [size=64K]
	Capabilities: <access denied>
	Kernel driver in use: xhci_hcd

00:16.0 Communication controller: Intel Corporation Lynx Point-LP HECI #0 (rev 04)
	Subsystem: Intel Corporation Device 7270
	Flags: bus master, fast devsel, latency 0, IRQ 65
	Memory at b0a2a100 (64-bit, non-prefetchable) [size=32]
	Capabilities: <access denied>
	Kernel driver in use: mei_me

00:1b.0 Audio device: Intel Corporation Lynx Point-LP HD Audio Controller (rev 04)
	Subsystem: Intel Corporation Device 7270
	Flags: bus master, fast devsel, latency 0, IRQ 66
	Memory at b0a14000 (64-bit, non-prefetchable) [size=16K]
	Capabilities: <access denied>
	Kernel driver in use: snd_hda_intel

00:1c.0 PCI bridge: Intel Corporation Lynx Point-LP PCI Express Root Port 1 (rev e4) (prog-if 00 [Normal decode])
	Flags: bus master, fast devsel, latency 0
	Bus: primary=00, secondary=01, subordinate=01, sec-latency=0
	Capabilities: <access denied>
	Kernel driver in use: pcieport

00:1c.1 PCI bridge: Intel Corporation Lynx Point-LP PCI Express Root Port 2 (rev e4) (prog-if 00 [Normal decode])
	Flags: bus master, fast devsel, latency 0
	Bus: primary=00, secondary=02, subordinate=02, sec-latency=0
	Memory behind bridge: b0800000-b09fffff
	Prefetchable memory behind bridge: 0000000090000000-000000009fffffff
	Capabilities: <access denied>
	Kernel driver in use: pcieport

00:1c.2 PCI bridge: Intel Corporation Lynx Point-LP PCI Express Root Port 3 (rev e4) (prog-if 00 [Normal decode])
	Flags: bus master, fast devsel, latency 0
	Bus: primary=00, secondary=03, subordinate=03, sec-latency=0
	Memory behind bridge: b0400000-b06fffff
	Capabilities: <access denied>
	Kernel driver in use: pcieport

00:1c.4 PCI bridge: Intel Corporation Lynx Point-LP PCI Express Root Port 5 (rev e4) (prog-if 00 [Normal decode])
	Flags: bus master, fast devsel, latency 0
	Bus: primary=00, secondary=05, subordinate=9b, sec-latency=0
	I/O behind bridge: 00003000-00005fff
	Memory behind bridge: b0b00000-bcbfffff
	Prefetchable memory behind bridge: 00000000bcc00000-00000000c8bfffff
	Capabilities: <access denied>
	Kernel driver in use: pcieport

00:1c.5 PCI bridge: Intel Corporation Lynx Point-LP PCI Express Root Port 6 (rev e4) (prog-if 00 [Normal decode])
	Flags: bus master, fast devsel, latency 0
	Bus: primary=00, secondary=04, subordinate=04, sec-latency=0
	I/O behind bridge: 00001000-00001fff
	Memory behind bridge: b0700000-b07fffff
	Capabilities: <access denied>
	Kernel driver in use: pcieport

00:1f.0 ISA bridge: Intel Corporation Lynx Point-LP LPC Controller (rev 04)
	Subsystem: Intel Corporation Device 7270
	Flags: bus master, medium devsel, latency 0
	Capabilities: <access denied>
	Kernel driver in use: lpc_ich

00:1f.3 SMBus: Intel Corporation Lynx Point-LP SMBus Controller (rev 04)
	Subsystem: Intel Corporation Device 7270
	Flags: medium devsel, IRQ 18
	Memory at b0a2a000 (64-bit, non-prefetchable) [size=256]
	I/O ports at efa0 [size=32]

02:00.0 Multimedia controller: Broadcom Corporation Device 1570
	Subsystem: Broadcom Corporation Device 1570
	Flags: bus master, fast devsel, latency 0
	Memory at b0900000 (64-bit, non-prefetchable) [size=64K]
	Memory at 90000000 (64-bit, prefetchable) [size=256M]
	Memory at b0800000 (64-bit, non-prefetchable) [size=1M]
	Capabilities: <access denied>

03:00.0 Network controller: Broadcom Corporation BCM4360 802.11ac Wireless Network Adapter (rev 03)
	Subsystem: Apple Inc. Device 0112
	Flags: bus master, fast devsel, latency 0, IRQ 18
	Memory at b0600000 (64-bit, non-prefetchable) [size=32K]
	Memory at b0400000 (64-bit, non-prefetchable) [size=2M]
	Capabilities: <access denied>
	Kernel driver in use: wl

04:00.0 SATA controller: Marvell Technology Group Ltd. 88SS9183 PCIe SSD Controller (rev 14) (prog-if 01 [AHCI 1.0])
	Subsystem: Marvell Technology Group Ltd. 88SS9183 PCIe SSD Controller
	Flags: bus master, fast devsel, latency 0, IRQ 64
	I/O ports at 1028 [size=8]
	I/O ports at 1034 [size=4]
	I/O ports at 1020 [size=8]
	I/O ports at 1030 [size=4]
	I/O ports at 1000 [size=32]
	Memory at b0700000 (32-bit, non-prefetchable) [size=512]
	Expansion ROM at b0720000 [disabled] [size=128K]
	Capabilities: <access denied>
	Kernel driver in use: ahci


[-- Attachment #3: lsmod --]
[-- Type: application/octet-stream, Size: 5709 bytes --]

Module                  Size  Used by
wl                   6299053  0 
cp210x                 21166  0 
ftdi_sio               46291  1 
snd_usb_audio         135354  0 
snd_usbmidi_lib        23388  1 snd_usb_audio
snd_seq_midi           12848  0 
snd_seq_midi_event     13316  1 snd_seq_midi
snd_rawmidi            26806  2 snd_usbmidi_lib,snd_seq_midi
cfg80211              405538  1 wl
sr9700                 13048  0 
dm9601                 13099  0 
usbnet                 30844  2 dm9601,sr9700
mii                    12675  3 dm9601,sr9700,usbnet
snd_hrtimer            12604  1 
snd_seq_dummy          12503  2 
rfcomm                 57927  8 
bnep                   17431  2 
cpufreq_powersave      12454  0 
cpufreq_stats          12782  0 
cpufreq_userspace      12525  0 
cpufreq_conservative    14184  0 
binfmt_misc            16949  1 
uinput                 17372  1 
nfsd                  263032  2 
auth_rpcgss            51211  1 nfsd
oid_registry           12419  1 auth_rpcgss
nfs_acl                12511  1 nfsd
nfs                   188136  0 
lockd                  83389  2 nfs,nfsd
fscache                45542  1 nfs
sunrpc                237402  6 nfs,nfsd,auth_rpcgss,lockd,nfs_acl
tun                    26385  9 
nls_utf8               12456  1 
nls_cp437              16553  1 
vfat                   17135  1 
fat                    61986  1 vfat
fuse                   83350  1 
firewire_sbp2          21893  0 
firewire_core          56665  1 firewire_sbp2
crc_itu_t              12347  1 firewire_core
loop                   26605  0 
kaweth                 17453  0 
ecb                    12737  1 
btusb                  29721  0 
bluetooth             374429  24 bnep,btusb,rfcomm
6lowpan_iphc           16588  1 bluetooth
rfkill                 18867  4 cfg80211,bluetooth
iTCO_wdt               12831  0 
iTCO_vendor_support    12649  1 iTCO_wdt
hid_generic            12393  0 
usbserial              36293  4 cp210x,ftdi_sio
wacom                  59529  0 
hid_apple              12596  0 
joydev                 17063  0 
usbhid                 44460  0 
hid                   102264  3 hid_generic,usbhid,hid_apple
bcm5974                16994  0 
x86_pkg_temp_thermal    12951  0 
intel_powerclamp       17159  0 
intel_rapl             17356  0 
coretemp               12820  0 
efi_pstore             12805  1 
kvm_intel             139116  3 
kvm                   388635  1 kvm_intel
crct10dif_pclmul       13387  0 
crc32_pclmul           12915  0 
ghash_clmulni_intel    12978  0 
evdev                  17445  38 
applesmc               18526  0 
input_polldev          13118  1 applesmc
aesni_intel           151423  1 
aes_x86_64             16719  1 aesni_intel
lrw                    12757  1 aesni_intel
gf128mul               12970  1 lrw
glue_helper            12695  1 aesni_intel
ablk_helper            12572  1 aesni_intel
cryptd                 14516  3 ghash_clmulni_intel,aesni_intel,ablk_helper
efivars                17257  1 efi_pstore
sbs                    13012  0 
i2c_i801               16965  0 
lpc_ich                20768  0 
mfd_core               12601  1 lpc_ich
snd_hda_codec_cirrus    17637  1 
snd_hda_codec_generic    63107  2 snd_hda_codec_cirrus
sbshc                  12842  1 sbs
snd_hda_intel          26327  5 
snd_hda_controller     26727  1 snd_hda_intel
snd_hda_codec         104463  4 snd_hda_codec_generic,snd_hda_intel,snd_hda_controller,snd_hda_codec_cirrus
i915                  837133  11 
snd_hwdep              13148  2 snd_usb_audio,snd_hda_codec
snd_pcm                88662  6 snd_usb_audio,snd_hda_codec,snd_hda_intel,snd_hda_controller
snd_seq                57061  11 snd_seq_midi_event,snd_seq_dummy,snd_seq_midi
snd_seq_device         13132  4 snd_seq,snd_rawmidi,snd_seq_dummy,snd_seq_midi
snd_timer              26614  3 snd_hrtimer,snd_pcm,snd_seq
video                  18030  1 i915
apple_bl               12872  0 
battery                13356  0 
drm_kms_helper         49210  1 i915
drm                   249955  10 i915,drm_kms_helper
i2c_algo_bit           12751  1 i915
i2c_core               46012  5 drm,i915,i2c_i801,drm_kms_helper,i2c_algo_bit
ac                     12715  0 
snd                    65244  22 snd_usb_audio,snd_hwdep,snd_timer,snd_pcm,snd_seq,snd_rawmidi,snd_hda_codec_generic,snd_usbmidi_lib,snd_hda_codec,snd_hda_intel,snd_seq_device,snd_hda_codec_cirrus
mei_me                 17941  0 
processor              28221  0 
mei                    74977  1 mei_me
thermal_sys            27642  4 video,intel_powerclamp,processor,x86_pkg_temp_thermal
soundcore              13026  2 snd,snd_hda_codec
button                 12944  1 i915
ext4                  473802  5 
crc16                  12343  2 ext4,bluetooth
mbcache                17171  1 ext4
jbd2                   82413  1 ext4
md_mod                107672  0 
dm_mirror              21657  0 
dm_region_hash         13299  1 dm_mirror
dm_log                 17539  2 dm_region_hash,dm_mirror
dm_mod                 89373  2 dm_log,dm_mirror
sg                     29973  0 
sd_mod                 44356  9 
crc_t10dif             12431  1 sd_mod
crct10dif_common       12356  2 crct10dif_pclmul,crc_t10dif
usb_storage            56215  1 
crc32c_intel           21809  0 
ahci                   33291  6 
libahci                27158  1 ahci
libata                177457  2 ahci,libahci
scsi_mod              191405  5 sg,usb_storage,libata,sd_mod,firewire_sbp2
xhci_hcd              148942  0 
usbcore               195340  15 btusb,wacom,snd_usb_audio,usb_storage,cp210x,usbserial,dm9601,snd_usbmidi_lib,kaweth,sr9700,usbhid,usbnet,bcm5974,ftdi_sio,xhci_hcd
usb_common             12440  1 usbcore

[-- Attachment #4: cpuinfo --]
[-- Type: application/octet-stream, Size: 4036 bytes --]

processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 69
model name	: Intel(R) Core(TM) i5-4258U CPU @ 2.40GHz
stepping	: 1
microcode	: 0x17
cpu MHz		: 2735.062
cache size	: 3072 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 2
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 13
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor ds_cpl vmx est tm2 ssse3 fma cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm ida arat epb xsaveopt pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase tsc_adjust bmi1 avx2 smep bmi2 erms invpcid
bogomips	: 4800.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 39 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 69
model name	: Intel(R) Core(TM) i5-4258U CPU @ 2.40GHz
stepping	: 1
microcode	: 0x17
cpu MHz		: 2828.156
cache size	: 3072 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 2
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 13
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor ds_cpl vmx est tm2 ssse3 fma cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm ida arat epb xsaveopt pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase tsc_adjust bmi1 avx2 smep bmi2 erms invpcid
bogomips	: 4800.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 39 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 69
model name	: Intel(R) Core(TM) i5-4258U CPU @ 2.40GHz
stepping	: 1
microcode	: 0x17
cpu MHz		: 2509.125
cache size	: 3072 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 2
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 13
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor ds_cpl vmx est tm2 ssse3 fma cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm ida arat epb xsaveopt pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase tsc_adjust bmi1 avx2 smep bmi2 erms invpcid
bogomips	: 4800.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 39 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 69
model name	: Intel(R) Core(TM) i5-4258U CPU @ 2.40GHz
stepping	: 1
microcode	: 0x17
cpu MHz		: 2841.843
cache size	: 3072 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 2
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 13
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor ds_cpl vmx est tm2 ssse3 fma cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm ida arat epb xsaveopt pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase tsc_adjust bmi1 avx2 smep bmi2 erms invpcid
bogomips	: 4800.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 39 bits physical, 48 bits virtual
power management:


[-- Attachment #5: meminfo --]
[-- Type: application/octet-stream, Size: 1226 bytes --]

MemTotal:        8101776 kB
MemFree:          232844 kB
MemAvailable:     602380 kB
Buffers:           52128 kB
Cached:          1126056 kB
SwapCached:        76064 kB
Active:          6331224 kB
Inactive:        1255660 kB
Active(anon):    6064440 kB
Inactive(anon):  1014200 kB
Active(file):     266784 kB
Inactive(file):   241460 kB
Unevictable:       80360 kB
Mlocked:           80360 kB
SwapTotal:      16587772 kB
SwapFree:       16180816 kB
Dirty:              1088 kB
Writeback:             0 kB
AnonPages:       6467620 kB
Mapped:           272324 kB
Shmem:            669940 kB
Slab:              98252 kB
SReclaimable:      60472 kB
SUnreclaim:        37780 kB
KernelStack:        6704 kB
PageTables:        38016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    20638660 kB
Committed_AS:    7859824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      471408 kB
VmallocChunk:   34359188248 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2101248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      283280 kB
DirectMap2M:     4866048 kB
DirectMap1G:     3145728 kB

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: 3.16.0-4-amd64 linux kernel userspace breakage
  2015-02-02 13:58 3.16.0-4-amd64 linux kernel userspace breakage Luke Kenneth Casson Leighton
@ 2015-02-03 22:46 ` Luke Kenneth Casson Leighton
  0 siblings, 0 replies; 2+ messages in thread
From: Luke Kenneth Casson Leighton @ 2015-02-03 22:46 UTC (permalink / raw)
  To: Linux Kernel Mailing List

On Mon, Feb 2, 2015 at 1:58 PM, Luke Kenneth Casson Leighton
<lkcl@lkcl.net> wrote:

> second issue: compared to 3.13, detection of microsd cards has
> disappeared to the extent that there isn't even an entry in dmesg
> indicating that the insertion ever occurred.

 scratch sd card from the list: further investigation, after an s2disk
and powering back on, the sd card device magically reappeared on the
usb bus.  much inspiring for anyone wishing to buy a 13.3in macbook
pro!  the s2disk and subsequent powering up was done entirely with the
power cable removed so that the known massive EMF interference from
the PSU was stopped.

 that still leaves the audio to investigate though :)

l

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2015-02-03 22:47 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-02-02 13:58 3.16.0-4-amd64 linux kernel userspace breakage Luke Kenneth Casson Leighton
2015-02-03 22:46 ` Luke Kenneth Casson Leighton

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).