Juergen Spitzmueller wrote:

> Is it worth it to add the argument for documentation purposes?

The argument is already there. Do you mean to name it? IMHO it is worth it.

> Attached is a patch with some mor FIXME's and the proposed documentation
> (without having added the argument).
> 
> Would this be acceptable for 1.4?

IMO yes.


Georg

Reply via email to