diff -r 805250bb7363 -r ad0306b89cfb .hgtags
--- a/.hgtags	Sat May 11 15:40:08 2019 +0200
+++ b/.hgtags	Sat May 11 15:53:11 2019 +0200
@@ -37,3 +37,4 @@
 91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
 6f2ab7f150f6bb27d9e59229035324ce1f94e4ac Isabelle2019-RC0
 9c60fcfdf495375cf1c886d7eb75583f63707950 Isabelle2019-RC1
+805250bb7363dbfcb072ed34bbfb522106bdd21a Isabelle2019-RC2