Compare commits

...
A pull request between these branches already exists: DGNum/liminix#14

seedrng: init at 2022.04 #14