From 5d995e55e48a0a800f73927781d8bb00e0adfe77 Mon Sep 17 00:00:00 2001 From: Registrator Date: Thu, 15 Dec 2022 18:15:36 +0530 Subject: [PATCH] New version: WebIO v0.8.20 (#74178) UUID: 0f1e0344-ec1d-5b48-a673-e5cf874b6c29 Repo: https://github.com/JuliaGizmos/WebIO.jl.git Tree: 976d0738247f155d0dcd77607edea644f069e1e9 Registrator tree SHA: 8e1a5ac2695627143951512d700c7e3c445102ec --- W/WebIO/Versions.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/W/WebIO/Versions.toml b/W/WebIO/Versions.toml index e86f4dedb49a772..ccd1d81025ce0f2 100644 --- a/W/WebIO/Versions.toml +++ b/W/WebIO/Versions.toml @@ -97,3 +97,6 @@ yanked = true ["0.8.19"] git-tree-sha1 = "55ea1b43214edb1f6a228105a219c6e84f1f5533" + +["0.8.20"] +git-tree-sha1 = "976d0738247f155d0dcd77607edea644f069e1e9"