Skip to content

opal hotel: only delete events that have not yet fired#1291

Merged
jsquyres merged 1 commit intoopen-mpi:masterfrom
jsquyres:pr/hotel-fix
Jan 13, 2016
Merged

opal hotel: only delete events that have not yet fired#1291
jsquyres merged 1 commit intoopen-mpi:masterfrom
jsquyres:pr/hotel-fix

Commits

Commits on Jan 13, 2016