Don't do bad thing in ProgRes destructor in core::run #4943

Closed

Labels

opened

on Feb 15, 2013

as per FIXME (formerly XXX)

Metadata

Assignees

No one assigned

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests