RFC: Shorten tags by using the objectid of the function instead of di…#572

Closed

ChrisRackauckas wants to merge 1 commit intomasterfrom

ChrisRackauckas-patch-1

Commits on Dec 23, 2021

RFC: Shorten tags by using the objectid of the function instead of directly the function
ChrisRackauckas
authored