Andreas Jaeger 063cf760c3 Remove display_badge setting ... We do not need to disable badge with openstackdocstheme 1.23.1 for releasenotes anymore, remove it. Change-Id: Id2c12564b6933a106d7795631c531a6e2a54e2b9		2018-08-24 12:10:36 +02:00
..
source	Remove display_badge setting	2018-08-24 12:10:36 +02:00