manual: Add a sentence about release notifications.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 15 Jul 2017 13:37:43 +0000 (15:37 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 15 Jul 2017 23:09:09 +0000 (01:09 +0200)
commit36216958230dc05cc945ca744532f5083e976b16
tree8a930daea7f8d31e81110cbdc207768c0c83d640
parent40a60cb3cfe62626a41f677046e714c0577dc745
manual: Add a sentence about release notifications.

This patch was meant to be applied years ago, but it got stashed
and then forgotten.
web/manual.md