Re: %destructor feedback

[Paul Eggert]

"Joel E. Denny" <[EMAIL PROTECTED]> writes:

> Would it be worthwhile to warn about unmentioned typed $$ as well?

Yes, that makes sense to me as well.