On Fri, Aug 31, 2018 at 10:04 AM Yann Ylavic <[email protected]> wrote: > > On Fri, Aug 31, 2018 at 3:29 PM William A Rowe Jr <[email protected]> wrote: > > > > I presume you are subscribed to the commits list, which broadcasts our CI > > results? > > Hmm, I'm supposed to be subscribed to commits@ list but somehow I > didn't receive this one (yet?). > Or is it a special list?
I don't get it either!
