bba79225c9
* commit '8a22c07a8ce805a73269a6577f6dd00f213e71a5': Fix issue #7273573: Need API to find out if activity is destroyed