Skip to content

eframe: Remove warm-starting#3574

Merged
emilk merged 1 commit intomasterfrom
emilk/remove-warm-start
Nov 19, 2023
Merged

eframe: Remove warm-starting#3574
emilk merged 1 commit intomasterfrom
emilk/remove-warm-start

Conversation

@emilk
Copy link
Owner

@emilk emilk commented Nov 19, 2023

This was an ill-supported feature with little benefit or use.

@emilk emilk added the eframe Relates to epi and eframe label Nov 19, 2023
@emilk emilk merged commit a23b959 into master Nov 19, 2023
@emilk emilk deleted the emilk/remove-warm-start branch November 19, 2023 10:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

eframe Relates to epi and eframe

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant