Thomas Danckaert <post@thomasdanckaert.be> writes:

> From b431f2e547c197d971ec349fd66737e6638003ff Mon Sep 17 00:00:00 2001
> From: Thomas Danckaert <post@thomasdanckaert.be>
> Date: Tue, 7 Mar 2017 13:35:39 +0100
> Subject: [PATCH] gnu: kdevelop: Upgrade to 5.0.4.
>
> * gnu/packages/kde.scm (kdevelop, kdevplatform): Upgrade to 5.0.4.
> (kdevplatform)[source]: Use kde mirror instead of github.

Applied, thanks!