From 6577a5295cd3025760c8c2e88c0c804cf2446696 Mon Sep 17 00:00:00 2001 From: Jo Shields Date: Mon, 26 Nov 2018 10:24:54 -0500 Subject: [PATCH] Add 4.7.2-api as per https://github.com/mono/mono/pull/11733 Former-commit-id: a28eb57ef78280a2ca6ff80727672a75d3b2d873 --- debian/mono-devel.install | 1 + 1 file changed, 1 insertion(+) diff --git a/debian/mono-devel.install b/debian/mono-devel.install index f8d91febad..a67ba1c542 100644 --- a/debian/mono-devel.install +++ b/debian/mono-devel.install @@ -166,6 +166,7 @@ debian/tmp/usr/bin/sgen debian/tmp/usr/bin/wsdl2 debian/tmp/usr/lib/mono/4.5/Facades/ debian/tmp/usr/lib/mono/4.0 +debian/tmp/usr/lib/mono/4.7.2-api debian/tmp/usr/lib/mono/4.7.1-api debian/tmp/usr/lib/mono/4.7-api debian/tmp/usr/lib/mono/4.6.2-api