[m-rev.] for review: fix maybe.fold_maybe/2 documentation

[Paul Bone]

On Tue, Mar 03, 2015 at 04:26:33AM +0000, Sebastian Godelet wrote:
> Hi,
> 
> The application of the yes value in the fold_maybe/2 function was
> not mentioned in the documentation.
> 
> library/maybe.m:
>     see above.

Thanks Sebastian.

This is fine, I'm committing it now in your name.


-- 
Paul Bone