Commit 143b473ce035da23d538d28b39ff4fc5151ff9d0

Bruno Haible 2019-07-02T21:00:01

Update from gnulib.