What do we think, 8.12.1 or 8.13.0 and make the ovdb release 8.13.0 as well?