#7547: Loop when printing External Core
---+
Reporter: simonpj | Owner:
Type: bug | Status: closed
Priority: normal| Milestone:
#7547: Loop when printing External Core
-+--
Reporter: simonpj | Owner:
Type: bug | Status: merge
Priority: normal| Milestone:
#7547: Loop when printing External Core
-+--
Reporter: simonpj | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
#7547: Loop when printing External Core
-+--
Reporter: simonpj | Owner:
Type: bug | Status: new
Priority: normal| Milestone: