Do not capitalize `$DISTRIBUTION_NAME` in v1-style menuinst #193

Triggered via pull request August 31, 2023 10:29

jaimergp

synchronize #153

Status Success

Total duration 3m 12s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	2.39 MB