[PATCH] D54978: Move the SMT API to LLVM

Sat Feb 9 09:47:54 PST 2019

thakis added a comment.

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?

Repository:
  rC Clang

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

https://reviews.llvm.org/D54978