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

MIES_Include.ipf: Clarify update instructions #2286

Merged
merged 4 commits into from
Nov 19, 2024

Conversation

t-b
Copy link
Collaborator

@t-b t-b commented Oct 22, 2024

For the casual MIES administrator the instructions have a bit too much
Igor Pro lingo, so let's try to make it easier to understand.

grafik

@t-b t-b added the PR:NeedsBackport (Pull requests only) Mark it as requiring a backport to the latest release branch label Oct 22, 2024
t-b added 3 commits November 18, 2024 14:34
For the casual MIES administrator the instructions have a bit too much
Igor Pro lingo, so let's try to make it easier to understand.
We also need to take all digits of the IP major version. The fix is in the
same spirit as 4cc6f2e (GetSymbolicPathForDiagnosticsDirectory: Fix
invalid IP version handling, 2024-07-11).
@t-b t-b force-pushed the bugfix/2286-too-old-mies-messages branch from 3b0bb5e to be7554c Compare November 18, 2024 13:35
@timjarsky timjarsky assigned t-b and unassigned timjarsky Nov 18, 2024
timjarsky
timjarsky previously approved these changes Nov 18, 2024
@timjarsky
Copy link
Collaborator

@t-b I further modified the panel code. If you like it, feel free to merge.

@timjarsky
Copy link
Collaborator

image

@t-b t-b force-pushed the bugfix/2286-too-old-mies-messages branch from 55c0e75 to 634d0c9 Compare November 19, 2024 10:14
@t-b
Copy link
Collaborator Author

t-b commented Nov 19, 2024

@timjarsky Sure, looks good. I've ran IPT on your new commit and will merge once the documentation is built.

@t-b t-b merged commit 77cf391 into main Nov 19, 2024
5 of 9 checks passed
@t-b t-b deleted the bugfix/2286-too-old-mies-messages branch November 19, 2024 10:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR:NeedsBackport (Pull requests only) Mark it as requiring a backport to the latest release branch
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants