well. it's merged in now
https://github.com/eventum/eventum/commit/06152684a8c9ad6c2339554f3ecffd5c9d017d38
well. it's merged in now
https:/ /github. com/eventum/ eventum/ commit/ 06152684a8c9ad6 c2339554f3ecffd 5c9d017d38