AUTHORS: Mention Mike's contributions

Diffstat

1 files changed, 1 insertions(+), 0 deletions(-)