Skip to content
This repository was archived by the owner on Jan 12, 2024. It is now read-only.

Rename "execution target" to "target" in result diagnostic messages#511

Merged
bamarsha merged 2 commits intomasterfrom
samarsha/result-diagnostics
Jul 9, 2020
Merged

Rename "execution target" to "target" in result diagnostic messages#511
bamarsha merged 2 commits intomasterfrom
samarsha/result-diagnostics

Commits

Commits on Jul 8, 2020

Commits on Jul 9, 2020