Talk:Jim Miller/@comment-30669433-20190719084604

So was Miller the one who tipped off Machenko or not?