Skip to content

Revert "users-guide: Document -ddump-srts"

Ömer Sinan Ağacan requested to merge osa1/ghc:remove-ddump-srts-doc into master

This reverts commit 8cf646d3.

The flag was removed by 16d643cf.

[ci skip]

Merge request reports