File

teal-src/util/uuid.d.tl @ 12654:f3dbbc7655e6

usermanager: Handle local JIDs being passed to get/set_jid_role() There is no reasonable fallback for set_jid_role() because users may have multiple roles, so that's an error.
author Matthew Wild <mwild1@gmail.com>
date Mon, 01 Aug 2022 20:26:00 +0100
parent 12625:e43a01641ca1
line wrap: on
line source

local record lib
	get_nibbles : function (number) : string
	generate : function () : string

	seed : function (string)
end
return lib