Bugfixes for documentation build (issues #305, 307)#308

Closed

cattabiani wants to merge 1 commit intomasterfrom issue/305/307

+26-43

Commits on Apr 22, 2020

Bugfixes for documentation build (issues #305 , 307)
katta
committed