Index: src/wp-includes/nav-menu.php
===================================================================
--- src/wp-includes/nav-menu.php	(revision 39621)
+++ src/wp-includes/nav-menu.php	(working copy)
@@ -96,6 +96,7 @@
 /**
  * Unregisters a navigation menu location for a theme.
  *
+ * @since  3.1.0
  * @global array $_wp_registered_nav_menus
  *
  * @param string $location The menu location identifier.