Merge / Pull Request for PR #13799 (Hot Corners option)?

[GalacticSun]

Hi there,

I just wanted to request if this PR could please get merged in?
#13799

More details here:
#10988

I thought we followed all the requested steps in order to get this approved, but maybe we missed a step.
Can a dev please help us?

[fashion64]

you should go to : https://github.com/orgs/linuxmint/discussions
here is obsolete

[GalacticSun]

you should go to : https://github.com/orgs/linuxmint/discussions here is obsolete

Thank you.