base/dispatch.c, etc.: Check that `rdrand' works.
[catacomb] / debian / source /
2016-05-21 Mark WoodingMerge branch 'mdw/cpu-dispatch'
2016-02-18 Mark Woodingdebian/source/format: Apparently I have to have one...