From cec5522b72a6b4d2c8c3e4c6e5509cef2151ba2d Mon Sep 17 00:00:00 2001
From: Jermolene <jeremy@jermolene.com>
Date: Wed, 21 Dec 2016 15:07:48 +0000
Subject: [PATCH] Fix up the version number of the plugin library

---
 .../tiddlers/system/PrereleaseOfficialPluginLibrary.tid         | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/editions/prerelease/tiddlers/system/PrereleaseOfficialPluginLibrary.tid b/editions/prerelease/tiddlers/system/PrereleaseOfficialPluginLibrary.tid
index 924fc6922..8196a1d2d 100644
--- a/editions/prerelease/tiddlers/system/PrereleaseOfficialPluginLibrary.tid
+++ b/editions/prerelease/tiddlers/system/PrereleaseOfficialPluginLibrary.tid
@@ -1,6 +1,6 @@
 title: $:/config/OfficialPluginLibrary
 tags: $:/tags/PluginLibrary
-url: http://tiddlywiki.com/prerelease/library/v5.1.12/index.html
+url: http://tiddlywiki.com/prerelease/library/v5.1.14/index.html
 caption: {{$:/language/OfficialPluginLibrary}} (Prerelease)
 
 The prerelease version of the official ~TiddlyWiki plugin library at tiddlywiki.com. Plugins, themes and language packs are maintained by the core team.