Skip to content

improve applicability of the apply tactic#1279

Open
fblanqui wants to merge 17 commits into
Deducteam:masterfrom
fblanqui:apply
Open

improve applicability of the apply tactic#1279
fblanqui wants to merge 17 commits into
Deducteam:masterfrom
fblanqui:apply

Merge remote-tracking branch 'dk/master' into apply

9ceee16
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error

The logs for this run have expired and are no longer available.