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.

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

Reload settings if gef-extras scripts were loaded #1118

Merged
merged 1 commit into from
Jun 5, 2024

Conversation

hugsy
Copy link
Owner

@hugsy hugsy commented Jun 5, 2024

Description

Checklist

  • My code follows the code style of this project.
  • My change includes a change to the documentation, if required.
  • If my change adds new code, adequate tests have been added.
  • I have read and agree to the CONTRIBUTING document.

Copy link

github-actions bot commented Jun 5, 2024

🤖 Coverage update for 5d1f2b1 🟢

Old New
Commit 1b6f46a 5d1f2b1
Score 71.6907% 71.6907% (0)

Copy link

github-actions bot commented Jun 5, 2024

🤖 Coverage update for 5d1f2b1 🟢

Old New
Commit 1b6f46a 5d1f2b1
Score 71.6907% 71.6986% (0.0079)

@therealdreg therealdreg self-requested a review June 5, 2024 07:08
@therealdreg therealdreg added the bug label Jun 5, 2024
Copy link
Collaborator

@therealdreg therealdreg left a comment

Choose a reason for hiding this comment

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

It fixes the problem! thx! hugsy/gef-extras#110

image

@therealdreg therealdreg mentioned this pull request Jun 5, 2024
12 tasks
@hugsy hugsy merged commit 0ca807b into main Jun 5, 2024
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants