GNUnet version: 0.13.1

Release date: July 12, 2020