From 8a14bc074064b4bb2cfcbc6b7427a8888203f83a Mon Sep 17 00:00:00 2001
From: VocaluxeBuildBot <noreply@vocaluxe.org>
Date: Sat, 23 Dec 2017 12:29:12 +0000
Subject: [PATCH] Trigger page update after a new publish (triggered by Merge
 pull request #353 from lukeIam/DebugSymbols
 [fcc1ca65154ddef4a46bccf030c1f3fb910799ac])