Skip to content
This repository has been archived by the owner on Dec 28, 2021. It is now read-only.

Fix parsing of the {no-}data-gathering option #1831

Merged
merged 4 commits into from
Sep 8, 2021

Conversation

mwu-tow
Copy link
Contributor

@mwu-tow mwu-tow commented Sep 6, 2021

Pull Request Description

Important Notes

Checklist

Please include the following checklist in your PR:

  • The CHANGELOG.md was updated with the changes introduced in this PR.
  • The documentation has been updated if necessary.
  • All code conforms to the Rust style guide.
  • All code has automatic tests where possible.
  • All code has been profiled where possible.
  • All code has been manually tested in the IDE.
  • All code has been manually tested in the "debug/interface" scene.
  • All code has been manually tested by the PR owner against our test scenarios.
  • All code has been manually tested by at least one reviewer against our test scenarios.

@mwu-tow mwu-tow added Category: GUI The Graphical User Interface Priority: Highest Should be completed ASAP Type: Bug A bug in Enso IDE labels Sep 6, 2021
@MichaelMauderer MichaelMauderer merged commit 9c29c04 into develop Sep 8, 2021
mwu-tow added a commit to enso-org/enso that referenced this pull request Oct 30, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Category: GUI The Graphical User Interface Priority: Highest Should be completed ASAP Type: Bug A bug in Enso IDE
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants