Rachit Keerti Das a67877f520 dash: Use pin instead of favorites
Use the term 'pin' for adding new items to the dash
Note that this is only a string change.

Fixes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/4976

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2136>
2022-02-07 14:12:04 +00:00
..
2022-02-07 14:12:04 +00:00
2022-02-07 14:12:04 +00:00
2022-01-05 04:07:25 +01:00
2022-01-29 01:16:30 +01:00
2022-02-02 17:22:20 +01:00
2022-01-05 04:07:25 +01:00
2021-09-01 14:55:47 +00:00
2022-02-03 00:19:25 +01:00