docs: fix namespaces in global_state example#366

Merged

nikophil merged 1 commit intozenstruck:1.xfrom OskarStark:patch-6

Nov 28, 2022

+2-2

Commits on Nov 28, 2022

Fix: Use generated namespace
OskarStark
authored