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
tweak makefile
Merge branch '14-html' into 16
bug fix regarding not removing 'names' when reusing storage
Merge branch '14-misc-cleanup' into 16