id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,port 29801,php5-SPL_Types @0.3.0 - CaSe conflict between *.ini file and *.so,BjarneDMat,ryandesign,"On case-sensitive file systems you run into trouble as the compiled *.so file is spl_types.so while it's named 'SPL_Types.so' in the SPL_Types.ini file ",defect,closed,Normal,,ports,1.9.2,fixed,,,php5-SPL_Types