Looks like there are some test failures with them. I swear that one passed for me, but it may have been before the merge that I tested it.
-David > On May 27, 2019, at 11:28 AM, Jean-Louis Monteiro <[email protected]> > wrote: > > I fixed it already never mind. > > Le lun. 27 mai 2019 à 20:23, David Blevins <[email protected]> a > écrit : > >> >>> On May 27, 2019, at 6:10 AM, Jean-Louis Monteiro < >> [email protected]> wrote: >>> >>> Is someone working on the compilation issues with mp-metrics-gauge >> example? >>> >>> Looks like build is broken >> >> I'll take a look as I merged it. >> >> It compiled for me. >> >> -David >> >>
