docker/docker — pull request #9187 by icecrime (2014-11-15 22:57:28+00:00)
Title: Update AUTHORS file

Raised by #9186: `AUTHORS` file was outdated, and generation script referred to the `hack` subdirectory which has now been renamed to `project`. Notice that a few people are listed more than once because of multiple email addresses used: I didn't clean them out, tell me if this is an issue.