Merge branch 'master' into develop

This commit is contained in:
Pieter Vander Vennet 2025-07-02 23:49:32 +02:00
commit 7fa10c126c

View file

@ -293,7 +293,7 @@ export default class FeatureReviews {
feature: Feature,
tagsSource: UIEventSource<Record<string, string>>,
mangroveIdentity: MangroveIdentity,
options: { nameKey: string; fallbackName: string; reportError: (msg) => Promise<void> },
options: { nameKey: string; fallbackName: string },
state?: SpecialVisualizationState,
): FeatureReviews {
const key =