v13.47

GILLES Sebastien

@sgilles

e4b991d9 · Add a TAGS file that gives the modifications within each git tag. · Nov 18, 2013

See new TAGS file for details.