Skip to content

ROBOT is also a vulnerability#2968

Merged
drwetter merged 1 commit into3.3devfrom
fix_missing_vulnHeadline
Dec 15, 2025
Merged

ROBOT is also a vulnerability#2968
drwetter merged 1 commit into3.3devfrom
fix_missing_vulnHeadline

Conversation

@drwetter
Copy link
Collaborator

@drwetter drwetter commented Dec 15, 2025

We missed somehow to add in the big while loop to add the fact that ROBOT is a vulnerability which become apparent with #2967.

This PR adds that.

What is your pull request about?

  • Bug fix
  • Improvement
  • New feature (adds functionality)
  • Breaking change (bug fix, feature or improvement that would cause existing functionality to not work as expected)
  • Typo fix
  • Documentation update
  • Update of other files

If it's a code change please check the boxes which are applicable

  • For the main program: My edits contain no tabs, indentation is five spaces and any line endings do not contain any blank chars
  • I've read CONTRIBUTING.md and Coding_Convention.md
  • I have tested this fix or improvement against >=2 hosts and I couldn't spot a problem
  • I have tested this new feature against >=2 hosts which show this feature and >=2 host which does not (in order to avoid side effects) . I couldn't spot a problem
  • For the new feature I have made corresponding changes to the documentation and / or to help()
  • If it's a bigger change: I added myself to CREDITS.md (alphabetical order) and the change to CHANGELOG.md

We missed somehow to add in the big while loop to add the fact that
ROBOT is a vulnerability which become apparent with #2967.

This PR adds that.
@drwetter drwetter merged commit 28baa6b into 3.3dev Dec 15, 2025
5 checks passed
@drwetter drwetter deleted the fix_missing_vulnHeadline branch December 15, 2025 12:13
drwetter added a commit that referenced this pull request Dec 15, 2025
We missed somehow to add in the big while loop to add the fact that ROBOT is a vulnerability which became
apparent with #2967 (3.3dev).

This PR adds that for 3.2 also. See #2968.
@drwetter drwetter mentioned this pull request Dec 15, 2025
13 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant