Translations related to #pragma

Last translation activity by #pragma was on 2018-10-09.