Merge branch 'master' into Bookmark_Enhancements

This commit is contained in:
Rainer Kottenhoff 2017-10-26 00:03:08 +02:00 committed by GitHub
commit 281a675a16

Binary file not shown.