Skip to content

Conversation

@fraxken
Copy link
Member

@fraxken fraxken commented Nov 30, 2023

image

@fraxken fraxken force-pushed the home-package-highlight branch from 61aa777 to ebe1a16 Compare November 30, 2023 18:11
@fraxken fraxken force-pushed the home-package-highlight branch from ebe1a16 to 6a0d6b8 Compare December 1, 2023 21:37
@fraxken fraxken marked this pull request as ready for review December 1, 2023 21:37
Copy link
Member

@PierreDemailly PierreDemailly left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@fraxken fraxken merged commit c3c2edc into master Dec 1, 2023
@fraxken fraxken deleted the home-package-highlight branch December 1, 2023 21:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants