[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.
Repository:
rC Clang
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D54978/new/
https://reviews.llvm.org/D54978
More information about the cfe-commits
mailing list