Update POTFILES.in (!717) · Merge requests · GNOME / gnome-builder · GitLab

Merged Anders Jonsson requested to merge ajonsson/gnome-builder:potfiles-update into main Mar 14, 2023

As pointed out by https://l10n.gnome.org/module/gnome-builder/