On Wed, Jan 23, 2019 at 02:15:24PM +0100, Raphael Graf wrote: > On Sat, Jan 19, 2019 at 03:41:31PM +0100, Fabian Raetz wrote: > > On Fri, Jan 18, 2019 at 10:45:38PM +0100, Raphael Graf wrote: > > > The diff below updates wabt to 1.0.8. > > > > > > There is now a manpage for each of the tools. > > > The patch is no longer needed, both issues have been fixed by upstream. > > > > > > I have only lightly tested some of the tools, found no problems.. > > > > Hi. This update looks good to me. I've tested it lightly too. > > > > PS: Somehow the patches/patch-CMakeLists_txt chunk did not apply and > > I had to remove it manually but i'm not sure why :( > > > > Sorry, the diff had a whitespace issue. > Here is a new diff with an additional change: > The DESCR now lists all of the tools. > > ok?
ok tb