Davide De Rosa 14b7f08fb5 Use strict ordering in local options ... And add TLS wrapping.		2019-05-01 11:14:38 +02:00
..
Sources	Use strict ordering in local options	2019-05-01 11:14:38 +02:00