Files
gerrit/java
Gal Paikin 1979267a8a Fix formatting for %d
%d should get an int value, but currently gets an Optional<Integer>.
Fixed so that the %d gets the int value.

Change-Id: Ib2d4f832a5283bf111210ea1ffe772881c939e09
2019-12-09 19:42:25 +01:00
..
2019-12-09 19:42:25 +01:00