chiark / gitweb /
basic: Fix build warning in random-util (#6284)
authorBenjamin Robin <benjarobin@users.noreply.github.com>
Tue, 4 Jul 2017 21:42:20 +0000 (23:42 +0200)
committerSven Eden <yamakuzure@gmx.net>
Tue, 25 Jul 2017 07:46:53 +0000 (09:46 +0200)
commit9530ceaa6f29e793ed071b78914a5fada5a1e462
tree3fff299abdcd475c859299af25eb7a088fcfd51e
parent16b913dec453b60d78efc10d1949d614b8268e42
basic: Fix build warning in random-util (#6284)
src/basic/random-util.c