Hi, I see that I used my old email address when I submitted bat-mode.el some years ago.

In line 5 of

could we change

<arnima@hafro.is>

to

<thisisarni@gmail.com>

My old email address used to redirect to my Gmail inbox but has now been disconnected altogether.

Thanks!

Arni