[DOC] Correct formatting in header.rb#90
Merged
peterzhu2118 merged 2 commits intoruby:masterfrom Dec 14, 2022
BurdetteLamar:header_doc
Merged
[DOC] Correct formatting in header.rb#90peterzhu2118 merged 2 commits intoruby:masterfrom BurdetteLamar:header_doc
peterzhu2118 merged 2 commits intoruby:masterfrom
BurdetteLamar:header_doc