Summary of changes:
f63d138... - Resolved rhbz#791045 - Added patch from Omaid Majid <omaj (*)
5cb802a... Use new tomcat-servlet-api (*)
a994b3a... Merge branch 'master' into f17 (*)
(*) This commit already existed in another branch; no separate mail sent
Show replies by date