Actually you should mention the app so people don't happen to lose coins if its a wallet bug.
Exactly, if there is a problem it would be good to know now so we can stop other people losing there bitcoins. It is unfortunate you lost yours but we should try to stop others losing theirs aswell if possible.
It would be irresponsible to blame the wallet app publicly if the fault lies in my phone being compromised. I am in contact with support, and would like to give them a chance to figure out the cause and make it right, if they are to blame. So far, they are assuming malware, since they claim they don't have reports of similar problems from other users. If they drop the ball, they will be named.
If it is a wallet bug, it must be due to a rare condition and not widespread.