Closed oldmantaiter closed 10 years ago
This is probably a much bigger issue - but it was preventing a job from going through. Inferno should be verbose about this, but not necessarily stop the world - unless we want it to be a safeguard.
This PR cannot be merged. The commits have been cherry-picked into a commit in pr #21
This is probably a much bigger issue - but it was preventing a job from going through. Inferno should be verbose about this, but not necessarily stop the world - unless we want it to be a safeguard.