On 02.10.2012 14:09, Pavel Stehule wrote:> fixed patch
Thanks, committed with some minor editorializing.
- Heikki