Closed sebastian-peter closed 4 months ago
@sebastian-peter You requested another review, but you have not commited any changes.
@sebastian-peter You requested another review, but you have not commited any changes.
@staudtMarius You are right, forgot to push
@staudtMarius Please also don't merge yet but let @danielfeismann have a second look :)
Resolves #210
There might still be the problem with mixes of typed and classic actors described in #231, however we need a typed
SimonaSim
now for #721Merge first:
748