julia
Simplify name reversal, add # to separate name from number
#48710
Merged

Simplify name reversal, add # to separate name from number #48710

IanButterworth merged 4 commits into master from pc/fix-pgv
pchintalapudi
pchintalapudi pchintalapudi added compiler:codegen
pchintalapudi pchintalapudi requested a review from vtjnash vtjnash 2 years ago
vtjnash
vtjnash commented on 2023-02-22
pchintalapudi pchintalapudi force pushed from a3398c9c to 68d41b46 2 years ago
pchintalapudi Simplify name reversal, add # to separate name from number
b752f06b
pchintalapudi Don't separate prefix with a colon
2c1316c3
pchintalapudi intersperse periods between names
c4c98644
pchintalapudi fix comment
b652f99b
pchintalapudi pchintalapudi force pushed from 9a2c3148 to b652f99b 2 years ago
pchintalapudi pchintalapudi added merge me
IanButterworth IanButterworth merged d6a77b60 into master 2 years ago
IanButterworth IanButterworth deleted the pc/fix-pgv branch 2 years ago
IanButterworth IanButterworth removed merge me
vtjnash vtjnash added backport 1.9
KristofferC KristofferC removed backport 1.9

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone