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