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)
Fix a software page style issue for rosy, Fix #2965.


Trivial merge