denominator 2.2.0

Closes #21069.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
jenkins 1.522

Closes #21075.
wrk 2.2.2

Closes #21072.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Completion for brew untap command in zsh shell.

Closes #21074.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
proof-general: support Emacs 24.x

Use upstream suggestion to support Emacs 24.x

Closes #21061.
add mime-info to Gnome folders
z 1.8

Closes #21077.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
serialize proof-general installs
geoserver 2.3.3

Closes #21081.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Merge remote-tracking branch 'upstream/master'