On Fri, Nov 24, 2017 at 2:51 AM, Hal Murray via devel <devel@ntpsec.org> wrote:
> Did this work before my change? Is somebody working on the gitlab stuff and > my push just happened at the right time to uncover a bug? I suspect this was a transient CI error or possibly related to work Matt was doing at that time (as you suggest). It looks like the CI build for that commit recovered automagically on a second try. _______________________________________________ devel mailing list devel@ntpsec.org http://lists.ntpsec.org/mailman/listinfo/devel
