How To Rename OpenWrt Version?

Your snapshot shows "r13209-...." which does not even exist in 19.07.
To me it looks like you are building from master.
Something wrong with your git?

perus@ub2004:/Openwrt/koe$ git clone https://github.com/openwrt/openwrt.git
Cloning into 'openwrt'...
...
perus@ub2004:/Openwrt/koe$ cd openwrt/
perus@ub2004:/Openwrt/koe/openwrt$ git fetch --tags
perus@ub2004:/Openwrt/koe/openwrt$ git checkout v19.07.3
Note: switching to 'v19.07.3'.

You are in 'detached HEAD' state. You can look around, make experimental
...
HEAD is now at f3f38f40da OpenWrt v19.07.3: adjust config defaults

perus@ub2004:/Openwrt/koe/openwrt$ git log --oneline | head -n 3
f3f38f40da OpenWrt v19.07.3: adjust config defaults
85e04e9f46 generic: platform/mikrotik: fix LZOR support
4cd9ae41c5 libjson-c: backport security fixes

Pretty sure that if I would compile from there, I would get 19.07.3 as the version (as the last commit is the one setting the fixed release version and adjusting all other things).

Ps.
Likely you should not try to build from v19.07.3, as there are already fixes in 19.07 since then. Building your own firmware from the HEAD of 19.07 is usually a better option.

Despite that, here is a link for you