julia
Fix empty parens in header if git information is missing
#28524

Merged

Fix empty parens in header if git information is missing #28524

Keno merged 1 commit into master from sf/banner

Fix empty parens in header if git information is missing

4dd535d5

staticfloat requested a review from

StefanKarpinski 7 years ago

Keno merged f4639448 into master 7 years ago

fredrikekre deleted the sf/banner branch 7 years ago

Reviewers

StefanKarpinski

Assignees

No one assigned

Labels

None yet

Milestone

No milestone