Rui,
thanks for looking into this and adding some relevant info,
to me it looks more like a bug than lack of documentation, in any case
we'll see if anyone of the core team would like to comment.
Ciao
Simone
On Sat, Dec 29, 2012 at 8:22 PM, Rui Barradas wrote:
> Just to add, on documentation,
On 12-12-30 4:23 PM, Simone Giannerini wrote:
Rui,
thanks for looking into this and adding some relevant info,
to me it looks more like a bug than lack of documentation, in any case
we'll see if anyone of the core team would like to comment.
Here's a comment: submit a patch.
Duncan Murdoch