Skip to content

Selectable pins #2

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
wants to merge 1 commit into from
Closed

Selectable pins #2

wants to merge 1 commit into from

Conversation

agdl
Copy link
Member

@agdl agdl commented May 29, 2020

If you choose this PR, you can close #1

@agdl agdl requested review from Rocketct and facchinm May 29, 2020 08:34
@CLAassistant
Copy link

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
You have signed the CLA already but the status is still pending? Let us recheck it.

@aentinger
Copy link
Contributor

Closing, since #1 got merged.

@aentinger aentinger closed this Dec 30, 2022
@per1234 per1234 added type: enhancement Proposed improvement conclusion: declined Will not be worked on topic: code Related to content of the project itself labels Jan 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@facchinm facchinm Awaiting requested review from facchinm

@Rocketct Rocketct Awaiting requested review from Rocketct

Assignees

No one assigned

Labels

conclusion: declined Will not be worked on topic: code Related to content of the project itself type: enhancement Proposed improvement

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@agdl @CLAassistant @aentinger @per1234