Commit b23091069adce469dc38fbcc9fd8ac9085d3c9d7

Tom Tromey 2017-07-12T12:43:06

Merge pull request #309 from rurban/oldgcc __attribute__ deprecated (msg) only since gcc 4.5