Skip to content

Lenny penny clipboard#157

Merged
Rigellute merged 10 commits into
masterfrom
LennyPenny-clipboard
Nov 22, 2019
Merged

Lenny penny clipboard#157
Rigellute merged 10 commits into
masterfrom
LennyPenny-clipboard

Conversation

@Rigellute
Copy link
Copy Markdown
Owner

Original PR here #156

This PR attempts to fix CI/CD by installing the xorg-dev dependency.

@Rigellute
Copy link
Copy Markdown
Owner Author

@LennyPenny take a look at this commit for the fix to CI b791486

Looks like we'd need to update the development instructions on Linux too (for the xorg dependency)

@Rigellute Rigellute force-pushed the LennyPenny-clipboard branch from b791486 to 3415a2b Compare November 22, 2019 09:35
@Rigellute
Copy link
Copy Markdown
Owner Author

Ready to merge, great work @LennyPenny

@Rigellute Rigellute merged commit 71e19df into master Nov 22, 2019
@Rigellute Rigellute deleted the LennyPenny-clipboard branch November 22, 2019 09:46
@LennyPenny
Copy link
Copy Markdown
Contributor

awesome, thanks for the help :D

nighi pushed a commit to nighi/spotify-tui that referenced this pull request Jul 11, 2025
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.

2 participants