Package.__init__(self, 'mono-extensions', None,
sources=['git@github.com:xamarin/mono-extensions.git'],
git_branch=self.profile.release_packages[
- 'mono'].git_branch
+ 'mono'].git_branch,
+ revision='07ad37d63e0e9dcf7c879a72bc14c5d6c794f7b6'
)
self.source_dir_name = 'mono-extensions'