From b52bb15cbad04c0c6b5e88bbc7871298b7acaae9 Mon Sep 17 00:00:00 2001 From: Registrator Date: Wed, 3 Jul 2019 14:17:00 +0530 Subject: [PATCH] New version: MIDI v1.4.2 (#1732) UUID: f57c4921-e30c-5f49-b073-3f2f2ada663e Repo: https://github.com/JuliaMusic/MIDI.jl.git Tree: d52bbc7b2735363d8cb00a048efd425992bd4a6d Registrator tree SHA: 3358484330f361397979cc5f65a9354333511e25 --- M/MIDI/Versions.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/M/MIDI/Versions.toml b/M/MIDI/Versions.toml index dac42e808b7f976..d9d046f9e0e3dfb 100644 --- a/M/MIDI/Versions.toml +++ b/M/MIDI/Versions.toml @@ -75,3 +75,6 @@ git-tree-sha1 = "2299e1788777df464af0fb2eb997462dd88ebbe8" ["1.4.1"] git-tree-sha1 = "d0507eee9a384aaa99e284dd4f74f4817c912f28" + +["1.4.2"] +git-tree-sha1 = "d52bbc7b2735363d8cb00a048efd425992bd4a6d"