Commit 24483806802065d7c64a781b1924d748938ce5fa

Bruno Haible 2019-12-22T15:51:39

Mark a new version.