I've created a separate group for lint development discussions, and custom lint checks questions: https://groups.google.com/forum/#!forum/lint-dev
That's a better place than adt-dev to post these questions to from now on; I plan to follow that group closely. -- You received this message because you are subscribed to the Google Groups "adt-dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to adt-dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
