As the -lpapi problem is understood now to be a side-track issue, I'm closing
the bug report.
- bug#19997: Performance differences between Git sources and r... sur-behoffski
- bug#19997: Performance differences between Git sources ... Paul Eggert
- bug#19997: Performance differences between Git sour... sur-behoffski
- bug#19997: closing bug report Paul Eggert
