[PATCH] D54978: Move the SMT API to LLVM

Kristóf Umann via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sat Feb 9 14:35:46 PST 2019

Szelethus added a comment.

In D54978#1391785 <https://reviews.llvm.org/D54978#1391785>, @thakis wrote:

> In D54978#1391436 <https://reviews.llvm.org/D54978#1391436>, @mikhail.ramalho wrote:
> > Hi everyone, I just saw your messages and reverted the commits.
> >
> > Sorry for the inconvenience, but for some reason I didn't get any email from the bots. Could you send me the link with the failure?
> >
> > @brzycki, I'm using Ubuntu 18.04.2 and I'll try to reproduce the error.
> >
> > @thakis, do you have any idea why this was not sent to the llvm mailing lists?
> I'm guessing you didn't add llvm-commits and cfe-commits as subscribers when sending this out?

As far as I know, that happens automatically if you add LLVM or Clang as project, that usually works for me.

  rC Clang



More information about the cfe-commits mailing list