advertise `undo` and `redo` when there are changes to an env#4002

IanButterworth wants to merge 1 commit intoJuliaLang:masterJuliaLang/Pkg.jl:masterfrom

IanButterworth:ib/advertise_undoIanButterworth/Pkg.jl:ib/advertise_undoCopy head branch name to clipboard