library.gnome.org status

["Quim Gil" <quimgil gmail com>]

What's the current status of library.gnome.org? Still planned for 2.18 release?

I wondering about the final destination of important documents such as

- http://developer.gnome.org/projects/gup/hig/
- http://developer.gnome.org/doc/guides/platform-overview/platform-overview.html

btw, it would be useful to have a relation of documentation under dgo
that NEEDS to be migrated before we desconnect the subsite. Please
provide URLs at
http://live.gnome.org/GnomeWeb/DeveloperGnomeOrg#head-487ac217434e97aaeaa2fab4c88a7d817d24fc9f
(Docs to be rescued)

--
Quim Gil /// http://desdeamericaconamor.org