8a22c07a8c
* commit '720d14db87a5683ef2d4ad976fd8c28a5d2af611': Fix issue #7273573: Need API to find out if activity is destroyed