Davide De Rosa 4bd339d456 Remove "Report issue" from About ... Will bind report to current profile.		2018-10-23 12:59:06 +02:00
..
Infrastructures	Fix PIA infra with empty endpoints	2018-10-18 14:48:20 +02:00
en.lproj	Remove "Report issue" from About	2018-10-23 12:59:06 +02:00