gitextensions/gitextensions — pull request #1981 by DanRigby (2013-07-23 16:56:17+00:00)
Title: Make desktop shortcut optional on install

Especially useful when upgrading