René Pfeuffer ad60bae74e Do not use Optional for modification date ...

First, Optionals should not be used for fields,
second this does not provide any benefits

2018-07-03 09:38:56 +02:00

..

src

Do not use Optional for modification date

2018-07-03 09:38:56 +02:00

pom.xml

Apply patch version for edison-hal

2018-06-27 17:05:25 +02:00