Hello @IT-KT
@IT-KT said:
My lesson learnt today: also search the closed issues on github
I always remove the state:open filter in the GitHub issue search.
That did cost me many hours to only figure out later there already was an issue, and it has already been fixed but not released yet.