About the BashSupport Pro: Bugs category

[jansorg]

Feel free to discuss any problem you have with BashSupport Pro in this section.
The official bug tracker is https://github.com/BashSupport-Pro/bashsupport-pro/issues.