use single lock for all players - avoid multithreaded access to omplrlib
[melted_gui] / ChangeLog
1 see git log