Got it. Capital gains tax has been paid in the other country, I know it's not taxable here. Just wanted to know whether I had to inform IRS about money repatriated to my a/c here. Thanks for your help!
