Skip to content

Disable flush via ui#139

Merged
srtfisher merged 5 commits intorelease/0.5from
disable-flush-via-ui-reapply
Dec 1, 2020
Merged

Disable flush via ui#139
srtfisher merged 5 commits intorelease/0.5from
disable-flush-via-ui-reapply

Conversation

@srtfisher
Copy link
Copy Markdown
Member

@srtfisher srtfisher commented Dec 1, 2020

Reapplies #130 to the release branch. Reapplies #136 after the work in 138 was included in it.

All the props to @mslinnea

@srtfisher srtfisher added the enhancement New feature or request label Dec 1, 2020
@srtfisher srtfisher added this to the 0.5 milestone Dec 1, 2020
@srtfisher srtfisher mentioned this pull request Dec 1, 2020
Copy link
Copy Markdown
Member

@goodguyry goodguyry left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🎸

@srtfisher srtfisher merged commit c61f865 into release/0.5 Dec 1, 2020
@srtfisher srtfisher deleted the disable-flush-via-ui-reapply branch December 1, 2020 20:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants