[PATCH] D54978: Move the SMT API to LLVM

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.

Repository:
  rC Clang

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D54978/new/

https://reviews.llvm.org/D54978