credentials/irma_card — pull request #12 by puiterwijk (2014-07-13 14:55:31+00:00)
Title: Give a more verbose error in case INS_ADMIN_ATTRIBUTE is executed for an...

... attribute not in the credential