r888888888 65d52ebb40 fixes #1897: the "version" field will be updated even when versions are merged

2015-08-06 15:21:06 -07:00

5.8 KiB

Raw Blame History

View Raw