On Tue, Jun 9, 2015 at 9:38 AM, Ludovic Courtès <l...@gnu.org> wrote: > OK to commit, thank you!
Pushed. > PS: Commit 751630c adds n-ary >>= for your pleasure. ;-) Thanks :-) Fede
On Tue, Jun 9, 2015 at 9:38 AM, Ludovic Courtès <l...@gnu.org> wrote: > OK to commit, thank you!
Pushed. > PS: Commit 751630c adds n-ary >>= for your pleasure. ;-) Thanks :-) Fede