<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
As far as I can determine, this was actually caused by an extraneous - character that was left over from some botched uncommenting. That was the first property after the typo, and I guess the parsing is such that it caught that first.
<div class=""><br class="">
</div>
<div class="">Either way, it wasn't broken in version control, so this is lost to the sands of time.</div>
<div class=""><br class="">
</div>
<div class="">Thanks again for the sanity check. Shame about the results, though. They're taking me back to my padded room now.</div>
<div class="">
<div class=""><br class="">
<div>
<blockquote type="cite" class="">
<div class="">On Jul 25, 2016, at 5:08 PM, Klingenstein, Nate <<a href="mailto:nklingenstein@calstate.edu" class="">nklingenstein@calstate.edu</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div class="">
<blockquote type="cite" class="">
<div class=""><span style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">That
doesn't seem obviously explainable.</span></div>
</blockquote>
</div>
<br class="">
<div class="">Nor immediately replicable. I'll get SSH access. If I can replicate it, I'll send another message to the list. If I can't, treat this as spurious.</div>
<div class=""><br class="">
</div>
<div class="">Thanks for the second pair of eyes, and good to know that strings are strings here.</div>
</div>
-- <br class="">
To unsubscribe from this list send an email to <a href="mailto:users-unsubscribe@shibboleth.net" class="">
users-unsubscribe@shibboleth.net</a></div>
</blockquote>
</div>
<br class="">
</div>
</div>
</body>
</html>