Both patches are present in 13.2. A 13.2 update is coming (the usual fall update), which should take care of this.