On 24.9.2010 15:56, Samuel Thibault wrote:
Another possibility is to revert to 0.6. That is probably what debian-release would accept most easily.
Yes, but that would get us back to an entirely new set of old problems. Problems with Pulse Audio, users having to manually set SPEECHD_PORT environment variable, manual startup... My recommendation: 0.7 with the two mentioned patches (pthread and disabled audio fallback) should be prefered over 0.6 Best regards, Hynek -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]

