GNUnet News: 2019-05-12: GNUnet 0.11.4 released