Update Miguel's email address.
authorMarcus Brinkmann <mb@g10code.com>
Mon, 26 May 2003 22:01:50 +0000 (22:01 +0000)
committerMarcus Brinkmann <mb@g10code.com>
Mon, 26 May 2003 22:01:50 +0000 (22:01 +0000)
commit61d5ad5ba4724fdc7c3fe996fae16476e28978da
treef0bdd6bc180d7adecd327cd88a42c211d8cd97fb
parentf9f31e2ca96887f5dc5e2226dcd0760d479c8ddb
Update Miguel's email address.
trunk/THANKS