> Thanks for investigating this, Marvin! Sure. Scott has already committed a fix for this issue. You might try building from trunk and testing it out.
> For future reference, is it preferred for users to directly submit probable > bugs to Jira or are mailing-list discussions best? I think it's beneficial to discuss an issue on the list if there is uncertainty about a potential bug, but it's certainly acceptable to simply open a Jira issue if you've done enough testing and code review to document a bug. As long as real bugs are reported and fixed is really all that matters. M -- You are currently subscribed to [email protected] as: [email protected] To unsubscribe, change settings or access archives, see http://www.ja-sig.org/wiki/display/JSG/cas-user
