Merge pull request #555 from crate/crate47.7

update crate version to 0.47.7

library/crate

@@ -1,9 +1,10 @@
 # maintainer: Bernd Dorn <[email protected]> (@dobe)
+# maintainer: Mathias Fußenegger <[email protected]> (@mfussenegger)
 
 # see also https://crate.io
 
-latest: git://github.com/crate/[email protected].6
+latest: git://github.com/crate/[email protected].7
 0.46: git://github.com/crate/[email protected]
 0.46.5: git://github.com/crate/[email protected]
-0.47: git://github.com/crate/[email protected].6
-0.47.6: git://github.com/crate/[email protected]
+0.47: git://github.com/crate/[email protected].7
+0.47.7: git://github.com/crate/[email protected]