diff options
| author | gavynriebau | 2023-01-16 07:13:48 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-16 07:13:48 +0000 |
| commit | cce19713fb970df1a96be7e76e3217e4e50efc42 (patch) | |
| tree | 0c6b22c0ef42aa44d9f651931eebd83a299fa45e /runtime/queries/lean | |
| parent | b6331394a3f341ad21f8fad3e6e0b93becda9ce5 (diff) | |
Fix for lost clipboard contents (#5424) (#5426)
* Fix for lost clipboard contents (#5424)
* PR feedback: Call "setsid" for all unix systems
* PR Feedback: Only install libc for unix targets
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions