Read-only release history for Sledge-Plugin-DebugLeakChecker