bb3004f3_Chapter__Difference_from_ENVY
[Selection] update gemstone [Operation] For selected applications, updates GemStone repository to match current ENVY version [Difference from ENVY] 
New option
Chapter
Difference from ENVY