id,summary,reporter,owner,description,type,status,priority,milestone,version,resolution,keywords,cc
67,Add allocation statistics to benchmarks,rl,,The fix for #66 doesn't change the performance of any of the benchmarks. We probably should also run them with `+RTS -s` and compare the results.,enhancement,new,major,,,,,