<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I suspect that it's a typo, but I'll review it (can you file a bug on<br>
it?).</blockquote><div><br></div><div>Sure, <a href="https://issues.shibboleth.net/jira/browse/IDP-724">https://issues.shibboleth.net/jira/browse/IDP-724</a>.</div><div><br></div><div>M<a href="mailto:dev-unsubscribe@shibboleth.net" target="_blank"></a><br>
</div><div><br></div></div></div>