Fix #823: Apply default padding to table headers#824

Merged

ehuss merged 1 commit intorust-lang:masterfrom sdruskat:patch-1

Aug 9, 2019

+3

Commits on Aug 9, 2019

Fix #823 : Apply default padding to table headers

sdruskat
authored and
ehuss
committed