Sorry, I shouldn't have posted this to the board.  In trying to answer
my last question about bug reports I found that indeed there is an
issue tracking system and the issue I mentioned has already been filed
as Issue 1029 (http://code.google.com/p/android/issues/detail?id=1029).
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google
Groups "Android Developers" group.
To post to this group, send email to android-developers@googlegroups.com
To unsubscribe from this group, send email to
[EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/android-developers?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to