id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,work_issues,upstream,reviewer,author,merged,dependencies,stopgaps
7320,search_src and friends are case-sensitive,jhpalmieri,jhpalmieri,"The functions {{{search_src}}}, {{{search_def}}}, and {{{search_src}}} are case-sensitive and have been for a while.  The documentation says that they're not.  This patch changes the documentation to reflect this, and adds one doctest to verify it.",defect,closed,minor,sage-4.2.1,misc,fixed,,mvngu,,,Karl-Dieter Crisman,John Palmieri,sage-4.2.1.alpha0,,