credentials/irma_android_library — pull request #2 by mdrijvers (2013-12-10 15:39:03+00:00)
Title: PIN dialog can no longer be cancelled by pressing outside the bounds

This small change prevents closing the dialog by pressing outside of the dialog.