Skip to content

flag "random-device" as obsolete

Evan Hunt requested to merge 3399-random-device-obsolete into v9_18

the "random-device" option was made non-functional in 9.13, but was not marked as obsolete at that time. this is now fixed; configuring "random-device" will trigger a warning.

Closes #3399 (closed)

Merge request reports