February 2016 Archives by author
Starting: Mon Feb 1 15:50:29 UTC 2016
Ending: Mon Feb 29 18:12:01 UTC 2016
Messages: 162
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93958] New: qpaeq Can't change channel
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93958] qpaeq Can't change channel
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93963] New: [PATCH] rescue-stream : Fix a typo
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93963] [PATCH] rescue-stream : Fix a typo
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93963] [PATCH] rescue-stream : Fix a typo
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 92930] FTBFS, apparently due to incompatibiltiy with recent glibmm
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93903] Unplugging headphones changes Build in Audio profile from analog to digital
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93986] New: Automatic routing back to headphones after being plugged not working
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93903] Unplugging headphones changes Build in Audio profile from analog to digital
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93986] Automatic routing back to headphones after being plugged not working
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93903] Unplugging headphones changes Build in Audio profile from analog to digital
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93994] New: [PATCH] role-ducking: Fix improper unducking behavior in case of operating globally
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93994] [PATCH] role-ducking: Fix improper unducking behavior in case of operating globally
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after short delay
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after monitor goes into powersave
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after monitor goes into powersave
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after monitor goes into powersave
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93109] Race condition involving module-x11-bell and socket activation
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after monitor goes into powersave
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after monitor goes into powersave
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after monitor goes into powersave
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94034] New: pavucontrol 3.0 , problem with compile
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94034] pavucontrol 3.0 , problem with compile
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 92930] FTBFS, apparently due to incompatibiltiy with recent glibmm
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94034] pavucontrol 3.0 , problem with compile
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94034] pavucontrol 3.0 , problem with compile
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94034] pavucontrol 3.0 , problem with compile
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94034] pavucontrol 3.0 , problem with compile
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94034] pavucontrol 3.0 , problem with compile
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94034] pavucontrol 3.0 , problem with compile
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94034] pavucontrol 3.0 , problem with compile
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94034] pavucontrol 3.0 , problem with compile
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94034] pavucontrol 3.0 , problem with compile
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93163] Focusrite Scarlett forced to Multichannel
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94034] pavucontrol 3.0 , problem with compile
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94056] New: PulseAudio fails to detect bluetooth speakers
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94056] PulseAudio fails to detect bluetooth speakers
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94056] PulseAudio fails to detect bluetooth speakers
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] New: Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94034] pavucontrol 3.0 , problem with compile
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93109] Race condition involving module-x11-bell and socket activation
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93363] Repeating sound while screen goes to sleep
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93363] Repeating sound while screen goes to sleep
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93363] Repeating sound while screen goes to sleep
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93363] Repeating sound while screen goes to sleep
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93363] Repeating sound while screen goes to sleep
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93363] Repeating sound while screen goes to sleep
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93363] Repeating sound while screen goes to sleep
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93363] Repeating sound while screen goes to sleep
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94061] Volume set below -27 db (35 per centage) makes Creative HS-720 absolutely silent
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 58746] bluetooth audio out of sync when connection temporarily drops
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 58746] bluetooth audio out of sync when connection temporarily drops
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 58746] bluetooth audio out of sync when connection temporarily drops
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 58746] bluetooth audio out of sync when connection temporarily drops
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 50324] pulseaudio continuously creates and frees input streams
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93259] unplugging headphones sets volume to 0
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] New: Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94167] New: "refusing to start/autospawn" with multi-user setup
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93259] unplugging headphones sets volume to 0
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94167] "refusing to start/autospawn" with multi-user setup
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93259] unplugging headphones sets volume to 0
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93259] unplugging headphones sets volume to 0
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93259] unplugging headphones sets volume to 0
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after monitor goes into powersave
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94167] "refusing to start/autospawn" with multi-user setup
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94167] "refusing to start/autospawn" with multi-user setup
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94167] "refusing to start/autospawn" with multi-user setup
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94167] "refusing to start/autospawn" with multi-user setup
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94167] "refusing to start/autospawn" with multi-user setup
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94167] "refusing to start/autospawn" with multi-user setup
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94167] "refusing to start/autospawn" with multi-user setup
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94167] "refusing to start/autospawn" with multi-user setup
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94167] "refusing to start/autospawn" with multi-user setup
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94165] Soundblaster (hw:0) is not seen by PA, works in Yast
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93994] [PATCH] role-ducking: Fix improper unducking behavior in case of operating globally
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after monitor goes into powersave
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after monitor goes into powersave
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after monitor goes into powersave
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94243] New: [PATCH] role-cork: Fix improper uncork behavior in case of operating globally
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94243] [PATCH] role-cork: Fix improper uncork behavior in case of operating globally
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94243] [PATCH] role-cork: Fix improper uncork behavior in case of operating globally
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after monitor goes into powersave
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after monitor goes into powersave
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after monitor goes into powersave
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93946] Changing device profile to HDMI is reset to default after monitor goes into powersave
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94296] New: pavucontrol Lithuanian translation (i18n)
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93903] Unplugging headphones changes Build in Audio profile from analog to digital
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93823] [TRACKER] PulseAudio 9.0 release
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 92684] [PATCH] implement --drop-privileges flag
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 92614] [RealTek][ALC3226] Audio popping sound on bootup when gdm launches
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 92614] [RealTek][ALC3226] Audio popping sound on bootup when gdm launches
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 92614] [RealTek][ALC3226] Audio popping sound on bootup when gdm launches
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94316] New: Program terminated with signal , SIGBUS Aborted.
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94316] Program terminated with signal , SIGBUS Aborted.
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93163] Focusrite Scarlett forced to Multichannel
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93163] Focusrite Scarlett and Behringer XR18 forced to Multichannel
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93163] Focusrite Scarlett and Behringer XR18 forced to Multichannel
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93163] Focusrite Scarlett and Behringer XR18 forced to Multichannel
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94316] Program terminated with signal , SIGBUS Aborted.
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93163] Focusrite Scarlett and Behringer XR18 forced to Multichannel
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93163] Focusrite Scarlett and Behringer XR18 forced to Multichannel
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94316] Program terminated with signal , SIGBUS Aborted.
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 93259] unplugging headphones sets volume to 0
bugzilla-daemon at freedesktop.org
- [pulseaudio-tickets] [Bug 94339] New: how to reduce chatty messages on SunOS
bugzilla-daemon at freedesktop.org
Last message date:
Mon Feb 29 18:12:01 UTC 2016
Archived on: Mon Feb 29 18:12:02 UTC 2016
This archive was generated by
Pipermail 0.09 (Mailman edition).