Skip to content

add methods to promote_rule instead of to promote_type#653

Open
nsajko wants to merge 1 commit into
JuliaRobotics:masterfrom
nsajko:promotion_bugfix
Open

add methods to promote_rule instead of to promote_type#653
nsajko wants to merge 1 commit into
JuliaRobotics:masterfrom
nsajko:promotion_bugfix

add methods to `promote_rule` instead of to `promote_type`

82f0f02
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs