archaeme Merge remote-tracking branch 'h2p/master' into merge-h2p
Mostly translation stuff from the git.gnu.io repo
Latest commit aa09edc Jan 20, 2017