cf89c746b1a8054d1c227d2f422bff3c4ff50046	not-for-merge	branch 'master' of https://github.com/simplesamlphp/simplesamlphp-module-infocard
