Processed: Update email address

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> owner 791931 !
Bug #791931 [fenix] Please support ARM64 (arm64 not in arch list, aarch not in config*)
Owner recorded as Martin Michlmayr <tbm at hpe.com>.
> --
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