[skip ci] Updated translations via Crowdin

diff --git a/options/locale/locale_pt-PT.ini b/options/locale/locale_pt-PT.ini
index be8bfd8f60c1c08f1534aa6257e01e53aee411aa..7183f91e00821035e5f3f3d0f4aecb31d941498d 100644 (file)
--- a/options/locale/locale_pt-PT.ini
+++ b/options/locale/locale_pt-PT.ini
@@ -1377,9 +1377,9 @@ pulls.tab_files=Ficheiros modificados
 pulls.reopen_to_merge=Reabra este pedido de integração para executar uma integração.
 pulls.cant_reopen_deleted_branch=Este pedido de integração não pode ser reaberto porque o ramo foi eliminado.
 pulls.merged=Integrado
-pulls.merged_as=A integração foi executada como <a rel="nofollow" class="ui sha" href="%[1]s"><code>%[2]s</code></a>.
+pulls.merged_as=A integração foi executada no cometimento <a rel="nofollow" class="ui sha" href="%[1]s"><code>%[2]s</code></a>.
 pulls.manually_merged=Integrado manualmente
-pulls.manually_merged_as=A integração foi executada manualmente como <a rel="nofollow" class="ui sha" href="%[1]s"><code>%[2]s</code></a>.
+pulls.manually_merged_as=A integração foi executada manualmente no cometimento <a rel="nofollow" class="ui sha" href="%[1]s"><code>%[2]s</code></a>.
 pulls.is_closed=O pedido de integração foi fechado.
 pulls.has_merged=A integração foi executada.
 pulls.title_wip_desc=`<a href="#">Inicie o título com <strong>%s</strong></a> para evitar que a integração seja executada acidentalmente.`