galfert 243a41db88 Remove volatile() property modifier ...

The modifier got deprecated and wasn't actually needed in any of the used cases.

2019-10-18 16:39:10 +02:00

..

contributions

Remove volatile() property modifier

2019-10-18 16:39:10 +02:00

contributors

Remove volatile() property modifier

2019-10-18 16:39:10 +02:00