Diff

util/indexedbheap.lua @ 10014:5d2f7144fa12 0.11

util.random: Handle unlikely read errors from /dev/urandom (see #1313)
author Kim Alvefur <zash@zash.se>
date Sat, 18 May 2019 17:28:21 +0200 (2019-05-18)
parent 8382:e5d00bf4a4d5
child 11115:7d4c292f178e
line wrap: on
line diff