Skip to content

Merge scan_info keys "channels" and "requests"

Closes #2418 (closed)

This merge request merges requests and channels together.

requests key is not anymore used by Flint.

If you still create scan_info dictionary manually. Better to use the provided ScanInfo helper.

Edited by Valentin Valls

Merge request reports