On Jan 11, 3:54 pm, Massimo Di Pierro <[email protected]>
wrote:
> I agree that the documentation is broken.

The documentation (online book) appears to be fixed now, unless I
missed the specific one.

Reply via email to