Skip to content
Jenkins
log in
Dashboard
All
Pufferfish-1.19
#31
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Git Build Data
Previous Build
Next Build
Changes
Summary
Fix PAPI edge-case (
commit: 4882a95
) (
details
)
Commit
4882a952ea5fcb12cf6f8f164a8010fc2f85a25c
by
Kevin Raneri
Fix PAPI edge-case
(
commit: 4882a95
)
The file was modified
patches/api/0003-Ignore-lookups-if-closed.patch
(diff)