Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
To avoid possible copy-paste loops between the computer and the device, the device clipboard is not set if it already contains the expected content. But the condition was wrong: it was not set also if it was empty. Refs 1223a72 Fixes #1658 <#1658>
- Loading branch information