credentials/irma_android_management — pull request #23 by mdrijvers (2013-12-10 16:14:14+00:00)
Title: onResume asking for PIN

With these changes onResume no longer asks for the PIN every time after the first intent.