id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,planetversion,pltversion
295,Rename `list-length' to `length',dvanhorn@…,krhari,"To mirror the list operations names (as done with `cons`, `map`, etc.), the length operation should be named `length`, not `list-length`.
",defect,closed,major,,krhari/pfds.plt,fixed,,,(1 2),5.0.1