Alex Serbin 23816d6015 Fix Observation Filter docs ...

`WebMvcMetricsFilter` no longer exists since 3.0 and should be
replaced with `ServerHttpObservationFilter`

See gh-38570

2023-11-28 13:16:25 +01:00

..

src

Fix Observation Filter docs

2023-11-28 13:16:25 +01:00

build.gradle

Merge branch '3.0.x' into 3.1.x

2023-11-10 11:19:27 +01:00