--On Mittwoch, August 05, 2009 05:28:55 +0200 Pavel Stehule
<pavel.stehule@gmail.com> wrote:
>> At least, we need to document that both notations behaves different in
>> this case.
>
> +1
Here again a patch version with updated documentation. I will stop
reviewing this patch now and mark this ready for committer, so we have some
time left to incorporate additional feedback.
--
Thanks
Bernd