Skip to content

Conversation

@Monk1mmmmm
Copy link
Contributor

No description provided.

@Monk1mmmmm
Copy link
Contributor Author

@unanimated @Zahuczky could either of you please take a look? It's a simple fix. Thanks

@Zahuczky
Copy link
Contributor

Zahuczky commented Dec 11, 2025

@Monk1mmmmm I am in no place to actually merge your PR, only UA can do that, but here are my two cents since you've pinged me:

The code change itself is fine, I don't see any way it could break stuff.

But, if you actually want it to have a chance to be merged:

  • Bump the version number in the file
  • update the DependencyControl.json with the new version, patch notes, and the new SHA1 hash of the file.

And possibly ping ua in the itw irc channel on rizon, I doubt he reads github notifications.

@Monk1mmmmm
Copy link
Contributor Author

thanks for the heads up, I will try to do just that

@Monk1mmmmm
Copy link
Contributor Author

Well, he forwarded me to TypesettingTools, and they have their own fork, but at the end of the day DepCtrl uses this repo for getting plugins. I'll make the same PR there just in case

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