Hi Ed,
Thanks for the clarification.
I've submitted a bug report as suggested — the Feedback ID is FB18393087.
Please let me know if there's anything else I can provide to assist the investigation.
Topic:
Developer Tools & Services
SubTopic:
Xcode
Tags: