This repository has been archived by the owner on Sep 24, 2024. It is now read-only.

Change Docker image to use Piranha Web Profile #130

Closed

mnriem opened this issue Feb 13, 2023 · 0 comments

Assignees

Milestone

Contributor

mnriem commented Feb 13, 2023

No description provided.

mnriem self-assigned this

mnriem added a commit that referenced this issue


          Fixes issue #130 - Change Docker image to use Piranha Web Profile

9b3cf21

mnriem added a commit that referenced this issue


          Fixes issue #130 - Change Docker image to use Piranha Web Profile (#140)

0ab9eff

mnriem closed this as completed

mnriem added this to the 23.4.0 milestone

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.