#252: MOP rework broke profiler? --------------------------------------------+------------------------------- Reporter: https://openid.fau.de/eg74yneg | Owner: ehuelsmann Type: defect | Status: new Priority: major | Milestone: Component: (A)MOP | Version: Keywords: | --------------------------------------------+------------------------------- Changes (by https://openid.fau.de/eg74yneg):
* cc: siccegge@… (added)