Skip to content

Scope#1774

Merged
stekyne merged 1 commit intocsound:developfrom
bramtayl:scope
Nov 6, 2023
Merged

Scope#1774
stekyne merged 1 commit intocsound:developfrom
bramtayl:scope

Conversation

@bramtayl
Copy link
Contributor

@bramtayl bramtayl commented Oct 31, 2023

Specify the scope in a few more places

@bramtayl bramtayl mentioned this pull request Oct 31, 2023
@bramtayl bramtayl force-pushed the scope branch 2 times, most recently from b697755 to 4153f02 Compare November 2, 2023 16:50
@bramtayl bramtayl changed the title Scope WIP: Scope Nov 2, 2023
@bramtayl bramtayl marked this pull request as draft November 2, 2023 17:14
@bramtayl bramtayl changed the title WIP: Scope Scope Nov 2, 2023
@bramtayl bramtayl marked this pull request as ready for review November 2, 2023 22:10
@bramtayl
Copy link
Contributor Author

bramtayl commented Nov 6, 2023

Bump

@stekyne stekyne merged commit 7aaccd8 into csound:develop Nov 6, 2023
nonameentername pushed a commit to nonameentername/csound that referenced this pull request Jan 18, 2024
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