From 89917b3f98d01cc158fa669b6ff9746db6ad22a1 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Sun, 12 May 2019 17:00:23 +0200 Subject: [PATCH] Release 0.20.1 -- 2.47.2