# HG changeset patch
# User wenzelm
# Date 1613837066 -3600
# Node ID 446085672b7403b7c5e6e6f50ad4977eafc75984
# Parent  f6bb318796988c95d3a6bae3ba24329ae892d4fd# Parent  69177d552afb687993c5eb4164c326cc1ee3e492
merged

diff -r f6bb31879698 -r 446085672b74 .hgtags
--- a/.hgtags	Fri Feb 19 13:42:12 2021 +0100
+++ b/.hgtags	Sat Feb 20 17:04:26 2021 +0100
@@ -44,3 +44,4 @@
 2ab14dbc6feb5e64c9c0c93ff2dff28f34a23f28 Isabelle2021-RC4
 a88dbf2a020fbd4ebee247f56fcc56e851e1f928 Isabelle2021-RC5
 ed36e33a2e4b01751c93c8ad28c07f8b00e11722 Isabelle2021-RC6
+7e2a9a8c2b85f10d81f3be433878fe51fa13eb6f Isabelle2021
diff -r f6bb31879698 -r 446085672b74 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Feb 19 13:42:12 2021 +0100
+++ b/Admin/components/components.sha1	Sat Feb 20 17:04:26 2021 +0100
@@ -222,7 +222,9 @@
 edcb517b7578db4eec1b6573b624f291776e11f6  naproche-20210124.tar.gz
 d858eb0ede6aea6b8cc40de63bd3a17f8f9f5300  naproche-20210129.tar.gz
 810ee0f35adada9bf970c33fd80b986ab2255bf3  naproche-20210201.tar.gz
+4a4e56fd03b7ba4edd38046f853873a90cf55d1a  naproche-4ad61140062f.tar.gz
 77252e0b40f89825b9b5935f9f0c4cd5d4e7012a  naproche-6d0d76ce2f2a.tar.gz
+9c02ecf93863c3289002c5e5ac45a83e2505984c  naproche-755224402e36.tar.gz
 e1b34e8f54e7e5844873612635444fed434718a1  naproche-7d0947a91dd5.tar.gz
 26df569cee9c2fd91b9ac06714afd43f3b37a1dd  nunchaku-0.3.tar.gz
 e573f2cbb57eb7b813ed5908753cfe2cb41033ca  nunchaku-0.5.tar.gz