From bd7f1fda61f188cb3da49003dc3ae50ff2d89eb1 Mon Sep 17 00:00:00 2001
From: Jermolene <jeremy@jermolene.com>
Date: Mon, 7 Mar 2016 20:11:14 +0000
Subject: [PATCH] Update plugin library version

---
 .../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 9a259024e..924fc6922 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.11/index.html
+url: http://tiddlywiki.com/prerelease/library/v5.1.12/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.