Merge pull request #2966 from TsLenMo/master
authorFlorian Eckert <fe@dev.tdt.de>
Tue, 6 Aug 2019 10:06:12 +0000 (12:06 +0200)
committerGitHub <noreply@github.com>
Tue, 6 Aug 2019 10:06:12 +0000 (12:06 +0200)
commit2bc03f86de62e571b4ce1311dd4099cf73887722
tree5727f98ed241e56b5125a6d16c06b00cdef1d594
parent0cf9d53fffdc73abc57060f19a0b344bf4c2a56c
parent0623b5362cab31d54f39c0ffa58dbb5124b22d6e
Merge pull request #2966 from TsLenMo/master

Fix a software page style issue for rosy, Fix #2965.