From c50cf869cd05f4993e0a47e9bb6f49fe0a3d4c9f Mon Sep 17 00:00:00 2001 From: JuliaRegistrator Date: Mon, 17 Jan 2022 20:17:22 +0000 Subject: [PATCH] New version: ProfileView v1.3.1 UUID: c46f51b8-102a-5cf2-8d2c-8597cb0e0da7 Repo: https://github.com/timholy/ProfileView.jl.git Tree: 6a9fe54afc52e4b98029e15dbd0552d82a2c5b94 Registrator tree SHA: 8e1a5ac2695627143951512d700c7e3c445102ec --- P/ProfileView/Versions.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/P/ProfileView/Versions.toml b/P/ProfileView/Versions.toml index 53594c1904970a1..a1d06cf91308030 100644 --- a/P/ProfileView/Versions.toml +++ b/P/ProfileView/Versions.toml @@ -66,3 +66,6 @@ git-tree-sha1 = "f6914679d3753e8898d8bbb643e856be9ba171c9" ["1.3.0"] git-tree-sha1 = "18a99d8fa28daf9781ddfb1e7e6ce4b92cf36a21" + +["1.3.1"] +git-tree-sha1 = "6a9fe54afc52e4b98029e15dbd0552d82a2c5b94"