altrisi 8f7e45387e Resolve raw type warnings (#1516) ...

Also very small optimization to hopper counters and removal of redundant casts in `PerimeterDiagnostics`

2022-07-29 13:12:09 +02:00

..

main

Resolve raw type warnings (#1516)

2022-07-29 13:12:09 +02:00