[Debian-med-packaging] Bug#611771: praat: Tab shortcut to play in the sound editor window does not work.

[Paul Boersma]

dear Andreas,

the bug you reported has been solved (or circumvented, really).

> > If you want to be really sure that a certain version of Praat will really
> make it into Debian just drop me a note about this.

yes, please include Praat version 5.2.17 into Debian.

> > What you can really do for our (and as I have heard also for Ubuntu) users
> is uploading an up to date screenshot

I just did that.

thanks for your trouble,
Paul
__________________________________
Paul Boersma
Phonetic Sciences, University of Amsterdam
Spuistraat 210, room 303
1012VT Amsterdam, The Netherlands
http://www.fon.hum.uva.nl/paul/