In reply to a tweet by @asmallteapot:
@asmallteapot Could you please file a bug and let me know the radar number? Thanks.