I expect you will get a 1099-B for the exchange of the Seattle stock for the Micro Focus ADSs. They generally get distributed mid-February.
But if you know what that 1099-B is going to report - and you should have a pretty good idea as you've read the Form 8937 - then you could file and tell TurboTax no 1099-B was received.
Tom Young
