Annotations: Reload on custom header changes. (#11709)

This commit is contained in:
Jurgen Goelen 2025-01-09 21:36:31 +01:00 committed by GitHub
parent 69fd353086
commit 29d1e2014b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 29 additions and 2 deletions

View file

@ -467,6 +467,10 @@ func (l1 *Location) Equal(l2 *Location) bool {
return false
}
if !l1.CustomHeaders.Equal(&l2.CustomHeaders) {
return false
}
return true
}