Skip to content

Correct documentation of defaults of the `-V` RTS option

amesgen requested to merge amesgen/ghc:fix-RTS-ticks-default-doc into master

See RtsFlags.MiscFlags.tickInterval in RtsFlags.c and DEFAULT_TICK_INTERVAL in Flags.h for the correct values.

Merge request reports