Spicy bugfix releases v1.11.5 and v1.13.1