Add 4.7.2-api as per https://github.com/mono/mono/pull/11733
Former-commit-id: a28eb57ef78280a2ca6ff80727672a75d3b2d873
This commit is contained in:
parent
10b3c2ccb1
commit
6577a5295c
1
debian/mono-devel.install
vendored
1
debian/mono-devel.install
vendored
@ -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
|
||||
|
Loading…
x
Reference in New Issue
Block a user