Skip to content

Update and simplify NaN-safe mode instructions#747

Open
devmotion wants to merge 3 commits intomasterfrom
devmotion-patch-1
Open

Update and simplify NaN-safe mode instructions#747
devmotion wants to merge 3 commits intomasterfrom
devmotion-patch-1

Conversation

@devmotion
Copy link
Member

I just learnt that since Preferences 1.4.3, Preferences.set_preferences! accepts package names in addition to modules and UUIDs. This PR updates the docs accordingly, I think most users would prefer not having to copy or memorize ForwardDiff's UUID. Moreover, since in my experience most users expect the preference to become active right after setting the preference, I removed the example that required restarting the Julia session (which was also not applicable when working in a temporary environment).

Loading
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