Add 4.7.1-api

Added to mono master in https://github.com/mono/mono/pull/5974

(cherry picked from commit d208ed66d5a4d1b4584708808f790427f6a54180)


Former-commit-id: b2907c82339078bd09f75b30a1b576591fb53f19
This commit is contained in:
Alexander Köplinger
2017-11-09 14:35:22 +01:00
committed by Jo Shields
parent 5333dc9d89
commit 7170132273
2 changed files with 2 additions and 1 deletions

View File

@@ -164,6 +164,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.1-api
debian/tmp/usr/lib/mono/4.7-api
debian/tmp/usr/lib/mono/4.6.2-api
debian/tmp/usr/lib/mono/4.6.1-api