OpenRA/OpenRA — pull request #7215 by pchote (2014-12-28 04:24:51+00:00)
Title: Make production type hotkeys configurable.

Fixes #7198.