Merge branch '7.2' into 7.3

javiereguiluz · javiereguiluz · commit 2b057c38b35d · 2025-06-13T12:08:14.000+02:00
* 7.2:
  Add a missing doc redirection
diff --git a/_build/redirection_map b/_build/redirection_map
@@ -574,3 +574,4 @@
 /doctrine/reverse_engineering /doctrine#doctrine-adding-mapping
 /components/serializer /serializer
 /serializer/custom_encoder /serializer/encoders#serializer-custom-encoder
+/components/string /string
