Bump UMF version to 0.9.0 release

[lukaszstolarczuk]

This PR is targeting v0.10.x because it's using UMF v0.9.x stable branch - v0.9.0 release, to be precise.
On the main branch here we use UMF's main as well.

@omarahmed1111, please note this PR will conflict with #2076 which contains a little older UMF's commit. Please let me know how do you want to handle it.

[kbenzie]

@omarahmed1111, please note this PR will conflict with #2076 which contains a little older UMF's commit. Please let me know how do you want to handle it.

I think it would make sense to include this in #2076

[kbenzie]

Do you have a tag we could use here instead of the commit hash?

[lukaszstolarczuk]

yes, of course we have a tag... but we tend to use commits, as tags can be force-pushed, and not all forks/clones contain tags - if you prefer to use a tag I'll do that :)

[kbenzie]

I think for the release branches using a release tag like v0.9.0 makes it much clearer to see the tag is pointing to the correct place.

I'd hope that release tags aren't getting changed after creation...

[lukaszstolarczuk]

Yeah, we don't want to force-push tags, but it still possible.

Changed to tag.

[lukaszstolarczuk]

@omarahmed1111, please note this PR will conflict with #2076 which contains a little older UMF's commit. Please let me know how do you want to handle it.

I think it would make sense to include this in #2076

Please note, that I want to target this PR only to v0.10.x branch - on main we use UMF's main.

[kbenzie]

@omarahmed1111, please note this PR will conflict with #2076 which contains a little older UMF's commit. Please let me know how do you want to handle it.

I think it would make sense to include this in #2076

Please note, that I want to target this PR only to v0.10.x branch - on main we use UMF's main.

Makes sense 👍

[omarahmed1111]

@lukaszstolarczuk Thanks for updating me! I cherry-picked this commit to v0.10.4 PR: #2076 . Just to keep everything in one place, we would better I think merge this as part of #2076 PR.

[lukaszstolarczuk]

@lukaszstolarczuk Thanks for updating me! I cherry-picked this commit to v0.10.4 PR: #2076 . Just to keep everything in one place, we would better I think merge this as part of #2076 PR.

do as you please :)

if you want me to change anything please let me (or @bratpiorka) know. I'll be out of office for a week (starting tomorrow).

[kbenzie]

This commit has been cherry-picked to v0.10.4rc as 2dfc006. Closing the PR.