diff options
author | Jon Marius Venstad <jvenstad@yahoo-inc.com> | 2019-01-09 09:39:28 +0100 |
---|---|---|
committer | Jon Marius Venstad <jvenstad@yahoo-inc.com> | 2019-01-09 09:39:28 +0100 |
commit | 3603fe508abce34bf2aae7f7710203e497e29943 (patch) | |
tree | b7b0ec93e5588e685e07f7fd3373a766e132c643 /service-monitor | |
parent | 05c0cd08789bbe249ccf067e546919fe4616fa0a (diff) |
Rename isPinning to isPinned
Diffstat (limited to 'service-monitor')
0 files changed, 0 insertions, 0 deletions