Commit 59a168c68b8fb855f118c81874aebd6670c523f5

Bruno Haible 2019-05-11T22:00:26

Update bug reporting instructions.