Skip to content

chore: restore previous correct wording for role/user id generation

Dmitry Rodionov requested to merge dkr/fix-user-role-comment into master

Summary

  • chore: restore previous correct wording for role/user id generation

Was changed in this commit: 4b3b1650

I believe this change was introduced by mistake (most probably because of bulk rename)

cc @rosik

Close #...

Ensure that

  • New code is covered by tests
  • API is documented
  • Changelog is up to date
  • (if Lua API changed) Lua API version is bumped in luamod.rs
  • (if necessary) A follow-up doc issue is created in picodata/docs and linked here

Merge request reports