Skip to content
Snippets Groups Projects
Commit 224fc5f4 authored by Tim Martin's avatar Tim Martin
Browse files

Merge branch 'cherry-pick-cc7d2987 [formerly ab4d1843f2]-master' into 'master'

Sweeping !5680 from 21.0 to master.
Sweeping !5621 from 21.1-dev to 21.0.Build the ART scripts using a makefile

See merge request !5791

Former-commit-id: 075d4f2e
parents 7796b7bb 03e8b78b
No related branches found
No related tags found
Loading
Showing
with 291 additions and 4 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment