Diffusion Pacemaker 7c719f9fa196

Merge pull request #2767 from clumens/as_if_case
7c719f9fa196
Actions

Tags

None

Referenced Files

None

Subscribers

None

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Merge pull request #2767 from clumens/as_if_case

Build: configure: Use AS_IF and AS_CASE everywhere.

Details

Provenance

kgaillot	Authored on Jul 19 2022, 11:38 AM
GitHub <noreply@github.com>	Committed on Jul 19 2022, 11:38 AM

Event Timeline

GitHub <noreply@github.com> committed rP7c719f9fa196: Merge pull request #2767 from clumens/as_if_case (authored by kgaillot).Jul 19 2022, 11:38 AM

Commit No Longer Exists

This commit no longer exists in the repository.