possible duplicate name in AUTHORS file

[egonw]

See https://github.com/JabRef/jabref/blob/master/AUTHORS#L59-L60

When I disregard unicode, the names are identical. When I look at this commit, that too suggests it's really the same person: 61df0d7

[Siedlerchr]

Thanks, feel free to fix it!

[egonw]

Will do. Wanted to double check :)

[calixtus]

I thought AUTHORS is autogenerated by script. So fixing it here will probably have no impact after the next time scripts/generate-authors.sh is called.

[Siedlerchr]

Thanks for the hint. I forgot that. The script is this one:
https://github.com/JabRef/jabref/blob/master/scripts/generate-authors.sh