diff options
| author | Wolfgang Müller | 2021-06-19 15:44:32 +0200 |
|---|---|---|
| committer | Wolfgang Müller | 2021-06-19 15:53:12 +0200 |
| commit | ddba80e644d1d47ce9aa6654879f035964ac19ac (patch) | |
| tree | 722c2fddb7e7266c897cfa7c3d2fee12c3e83107 /terminal.ui | |
| parent | 89f8571cbcf48b7810c7027faf26ee5cf4b968b1 (diff) | |
| download | weltschmerz-ddba80e644d1d47ce9aa6654879f035964ac19ac.tar.gz | |
Mark env_shell as unowned
The Environment.get_variable() method returns an unowned value. Make
sure to mark it as such in our code. Whilst we're here, add a missing
space to the subsequent if branch.
Diffstat (limited to 'terminal.ui')
0 files changed, 0 insertions, 0 deletions