bug#7451: Better name for $(AM_V_at)?

[Stefano Lattarini]

severity 7451 whishlist

Re-labelling the bug report as "whishlist", which is more appropriate.
Sorry for not having done that right away.

Regards,
   Stefano