I'm sure we are all across this, but just in case.... 12.1 and 13.0 builds are now out https://www.citrix.com/blogs/2020/01/23/fixes-now-available-for-citrix-adc-citrix-gateway-versions-12-1-and-13-0/