KoffeinFlummi/AGM — pull request #1740 by bux578 (2014-12-14 12:40:00+00:00)
Title: fix #1737

and switch "jodav" to "bux578"