diff --git a/ChangeLog b/ChangeLog index b126f0da0..21875ae9a 100644 --- a/ChangeLog +++ b/ChangeLog @@ -3,6 +3,7 @@ Enhancements: - #7448 Only add PR comments for internal PR +- #7445 Update `config.yaml` to support Linux Mint build target # 1.15.0 diff --git a/config.yaml b/config.yaml index fa0235b7a..a7421f0d9 100644 --- a/config.yaml +++ b/config.yaml @@ -42,6 +42,9 @@ config: libgtk-3-dev \ file + linuxmint: + <<: *debian + ubuntu: <<: *debian