Message6326

Author florian
Recipients florian, jendrik, malte
Date 2017-05-02.19:22:37
Content
Switching get_successor_state to OperatorProxy is issue726.
History
Date User Action Args
2017-05-02 19:22:37floriansetrecipients: + florian, malte, jendrik
2017-05-02 19:22:37floriansetmessageid: <1493745757.73.0.0984146142923.issue700@unibas.ch>
2017-05-02 19:22:37florianlinkissue700 messages
2017-05-02 19:22:37floriancreate