Merge branch '14-pqR-logo' into 15-extra-news
Merge branch '14-pqR-logo' into 15-extra-news
Merge branch '14-html' into 15-extra-news
clarify NEWS entry
Merge branch '15-extra-news' into 16-t-varop-mm
tweak makefile
Merge branch '14-html' into 16-t-varop-mm
bug fix regarding not removing 'names' when reusing storage
Merge branch '14-misc-cleanup' into 16-t-varop-mm