# HG changeset patch
# User Tercioo
# Date 1561763237 10800
# Node ID 389dcaeebc4707a93e9f7e3abbf84e082fbe516c
# Parent  e15817422160dea1eeb0e226615fb62eaf20208b
- ToC Update for Patch 8.2

diff -r e15817422160 -r 389dcaeebc47 HotCorners.toc
--- a/HotCorners.toc	Mon Dec 31 11:30:46 2018 -0200
+++ b/HotCorners.toc	Fri Jun 28 20:07:17 2019 -0300
@@ -1,4 +1,4 @@
-## Interface: 80100
+## Interface: 80200
 ## Title: Hot Corners
 ## Notes: Adds a bar over the top left side.
 ## SavedVariables: HotCornersDB