merge with master
[external/ragel.git] / AUTHORS
1 See CREDITS.