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