Skip to content

Update bundled IRE mapper script to latest upstream#5495

Merged
vadi2 merged 1 commit intodevelopmentfrom
update-ire-mapping-script-f36f27f992dae9f322f55c0e2ccc4845baf85b5d
Oct 8, 2021
Merged

Update bundled IRE mapper script to latest upstream#5495
vadi2 merged 1 commit intodevelopmentfrom
update-ire-mapping-script-f36f27f992dae9f322f55c0e2ccc4845baf85b5d

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions bot commented Oct 8, 2021

Brief overview of PR changes/additions

👑 An automated PR to update the IRE mapper script to the latest version.

Motivation for adding to Mudlet

So people don't get attacked with a "your mapping script is out of date!" notification as soon as they create a profile for a new IRE game.

Other info (issues closed, discussion etc)

update triggered by refs/heads/development f36f27f

@github-actions github-actions bot requested a review from a team October 8, 2021 00:31
@add-deployment-links
Copy link
Copy Markdown

add-deployment-links bot commented Oct 8, 2021

Hey there! Thanks for helping Mudlet improve. 🌟

Test versions

You can directly test the changes here:

No need to install anything - just unzip and run.
Let us know if it works well, and if it doesn't, please give details.

@vadi2 vadi2 merged commit 042547d into development Oct 8, 2021
@vadi2 vadi2 deleted the update-ire-mapping-script-f36f27f992dae9f322f55c0e2ccc4845baf85b5d branch October 8, 2021 04:15
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.

2 participants