Processed: Update email address

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> submitter 791931 !
Bug #791931 [fenix] Please support ARM64 (arm64 not in arch list, aarch not in config*)
Changed Bug submitter to 'Martin Michlmayr <tbm at hpe.com>' from 'Martin Michlmayr <tbm at hp.com>'.
> noowner 791931
Bug #791931 [fenix] Please support ARM64 (arm64 not in arch list, aarch not in config*)
Removed annotation that Bug was owned by Martin Michlmayr <tbm at hpe.com>.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
791931: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=791931
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems