Exactly. And asking the opener (or somebody in general) to do so would've been a reasonable and polite response. Unceremoniously closing the ticket on the othe

Exactly. And asking the opener (or somebody in general) to do so would've been a reasonable and polite response. Unceremoniously closing the ticket on the other hand seems to me to indicate the maintainer really doesn't care.