Hi, jdk13u-dev is now closed for a while and will reopen soon for 13.0.10 release. Last update of master jdk13u repository is finished. Further changes to 13.0.9 will go directly to jdk13u. Any change normally going to jdk13u-dev and necessary in 13.0.9 should have jdk13u-critical-request label. Thank you! --yan