Maxetto 41b6c34b6b Transform values into constants
(cherry picked from commit 20d83e5 et al.)
2017-02-27 19:55:16 +01:00
..
2016-12-01 19:41:31 +01:00
2017-02-27 19:55:16 +01:00
2016-12-01 19:41:31 +01:00
2016-12-01 19:41:31 +01:00
2016-12-01 19:41:31 +01:00
2016-10-05 21:10:40 +02:00
2016-10-09 23:46:07 +02:00