Please raise it on the issue tracker.
Watch Using Microtones in Electronic Music or check out my articles: make microtonal music on Linux and make microtonal music with Ableton Live.
I read every message but can’t respond to everybody – sorry in advance if you don’t hear back!