Skip to content

clarify note re. leading :: in 2018 - #752

Merged
ehuss merged 1 commit into
masterfrom
leading-modsep-2018
Feb 10, 2020
Merged

clarify note re. leading :: in 2018#752
ehuss merged 1 commit into
masterfrom
leading-modsep-2018

clarify note re. leading `::` in 2018

a4cdf6d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs