ok fine now..
[side note: I had to improve the interface of optional_value (but still not quite happy with its behavior and implementation)]
« Back to merge proposal
ok fine now..
[side note:
I had to improve the interface of optional_value (but still not quite happy with its behavior and implementation)]