mailmap: Add another old mail address I used.

diff --git a/.mailmap b/.mailmap
index 59819a14531525bb50cfecb380f89434d0792547..330cdd13dca8385bb5a587f6cdeebd1af71de8d4 100644 (file)
--- a/.mailmap
+++ b/.mailmap
@@ -9,7 +9,7 @@
 <josh@itanimul.li> <joshdk@obe.tv>
 <michael@niedermayer.cc> <michaelni@gmx.at>
 <linjie.fu@intel.com> <fulinjie@zju.edu.cn>
-<ceffmpeg@gmail.com> <cehoyos@ag.or.at>
+<ceffmpeg@gmail.com> <cehoyos@ag.or.at> <cehoyos@rainbow.studorg.tuwien.ac.at>
 <ffmpeg@gyani.pro> <gyandoshi@gmail.com>
 <atomnuker@gmail.com> <rpehlivanov@obe.tv>
 <zhong.li@intel.com> <zhongli_dev@126.com>