Overview
Artifact ID: | ce1f9afd5a86afb5a75fb6754ff321e255819559 |
---|---|
Ticket: | de156e9efeac39718cae7e8dead3bb080aa12754
Safe Base interpreters must not write to the PRIMARY selection |
User & Date: | fvogel 2017-07-12 18:48:20 |
Changes
- icomment:
Note for myself and/or Gregor: this fix should be propagated to revised_text.
- login: "fvogel"
- mimetype: "text/plain"