Closed jeswr closed 1 year ago
To be merged once https://github.com/comunica/jQuery-Widget.js/pull/143 is released.
To be merged once https://github.com/comunica/jQuery-Widget.js/pull/143 is released.