Diff

util/jsonpointer.lua @ 12768:6e3aa3995eab

util.jid: Remove redundant check from split() (micro-optimization?)
author Matthew Wild <mwild1@gmail.com>
date Tue, 11 Oct 2022 13:33:19 +0100
parent 12499:03e307952816
child 12781:22066b02887f
line wrap: on
line diff