Dave Cridland <dave@cridland.net>
0053a5f2eb5d2671be677c49b011eb52a7d8d41b
Merge pull request #940 from guusdk/OF-1438 _Identity-store-replace
OF-1438 : Add method to replace an entry in the identity store.
25 Nov 2017
Dave Cridland <dave@cridland.net>
a1f5c19eccf7b045223713d97421aa48f1f5d3e8
Merge pull request #939 from guusdk/OF-1373 _Skip-unfinished-modifications
OF-1373 : Wait until file modifications are complete.
25 Nov 2017
Guus der Kinderen
88852760921c8598afaceb4934bda925adba6da4
m
OF-1438 : Add method to replace an entry in the identity store.
24 Nov 2017
Guus der Kinderen
9d257500689718d4ba9e6ce73597c6915db56c6b
m
OF-1373 : Wait until file modifications are complete.
This commit prevents file changes from being applied while the file is still being modified.
23 Nov 2017