Skip to content

Conversation

jcs090218
Copy link
Member

@jcs090218 jcs090218 commented Dec 18, 2022

Remove source-priority, replace it with

❌ Before

(source "gnu")
(source-priority "gnu" 10)

✔️ After

(source "gnu" nil 10)

;; Or simply,

(source "gnu" 10)

@jcs090218 jcs090218 self-assigned this Dec 18, 2022
@jcs090218
Copy link
Member Author

Not sure if this is a better approach... 😕

@jcs090218 jcs090218 force-pushed the feature/merge-source-priority branch 2 times, most recently from 8b639a9 to d44c3e1 Compare December 18, 2022 09:40
@jcs090218 jcs090218 force-pushed the feature/merge-source-priority branch from d44c3e1 to 6fa98aa Compare December 18, 2022 10:39
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.

1 participant