Ian Wienand 9a8184ab4c Remove unused val_else_none
This function is unused

Change-Id: I8fe3e5452b95a639618a37a02f34b5b9f63ca43a
2017-05-11 11:53:08 +10:00
..
2017-05-11 11:53:08 +10:00
2017-05-04 19:54:18 +00:00
2017-05-09 15:49:39 +10:00
2014-07-21 10:15:41 +02:00