rename "Observer" to "SubscriptionObserver"#101

Merged

domfarolino merged 4 commits intoWICG:masterfrom keithamus:rename-observer-to-subscriptionobserver

Jan 18, 2024

+21-20

Commits on Jan 10, 2024

Commits on Jan 17, 2024

fix tyo

keithamus
and
domfarolino
authored