From eea036f803d0027a137dfcf3fc1742005bce67cb Mon Sep 17 00:00:00 2001
From: Jermolene <jeremy@jermolene.com>
Date: Sat, 15 Dec 2018 16:07:49 +0000
Subject: [PATCH] Update plugin library location for 5.1.19

---
 core/wiki/config/OfficialPluginLibrary.tid | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/wiki/config/OfficialPluginLibrary.tid b/core/wiki/config/OfficialPluginLibrary.tid
index 02e72cea4..ccbaf94dc 100644
--- a/core/wiki/config/OfficialPluginLibrary.tid
+++ b/core/wiki/config/OfficialPluginLibrary.tid
@@ -1,6 +1,6 @@
 title: $:/config/OfficialPluginLibrary
 tags: $:/tags/PluginLibrary
-url: https://tiddlywiki.com/library/v5.1.18/index.html
+url: https://tiddlywiki.com/library/v5.1.19/index.html
 caption: {{$:/language/OfficialPluginLibrary}}
 
 {{$:/language/OfficialPluginLibrary/Hint}}