[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.
CHANGES SINCE LAST ACTION
More information about the cfe-commits