Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

enable_tool_source_display #905

Merged
merged 1 commit into from
Sep 15, 2023
Merged

enable_tool_source_display #905

merged 1 commit into from
Sep 15, 2023

Conversation

bgruening
Copy link
Member

@bgruening bgruening commented Sep 15, 2023 •
edited
Loading

turn it on. Not sure what is does. We already can see the tool source.

[EDIT] turns out only admins can see it :)

@bgruening
enable_tool_source_display
4cc0035 
turn it on. Not sure what is does. We already can see the tool source.
@bgruening
Copy link
Member Author

ping @mvdbeek

kysrpex
kysrpex approved these changes Sep 15, 2023
View reviewed changes
Copy link
Contributor

@kysrpex kysrpex left a comment •
edited
Loading

Choose a reason for hiding this comment

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

Yeah I noticed the tool source stopped being available after the update to 23.01

@bgruening bgruening merged commit f4b18fd into master Sep 15, 2023
@bgruening bgruening deleted the enable_tool_source_display branch September 15, 2023 09:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kysrpex kysrpex kysrpex approved these changes

@sanjaysrikakulam sanjaysrikakulam sanjaysrikakulam approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@bgruening @sanjaysrikakulam @kysrpex