tree 4d5796a3aaffaf342c451ed6e5616dba1deb74ad
parent 25038f3034445c4554c48fca4dd1ff0b26a2a353
author Junxiao Shi <git@mail1.yoursunny.com> 1523336685 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> 1523336685 +0000

util: backport optional::reset

refs #3753

Change-Id: I17e77d7b7e3c450fc86aec06f5c2d3ecfcc1444a