From 56c8826c770376840d1873f4e524f096ab5c686d Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Wed, 4 Sep 2013 18:52:45 -0700
Subject: [PATCH] Fixes #10452: Add note about deprecation of .nav-divider

Should have been dropped in v3, but ah well, we missed it. So, it gets
the deprecation.
---
 less/navs.less | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/less/navs.less b/less/navs.less
index 27861f8f46..bdab92606b 100644
--- a/less/navs.less
+++ b/less/navs.less
@@ -51,12 +51,17 @@
     }
   }
 
-  // Dividers (basically an hr) within the dropdown
+  // Nav dividers (deprecated with v3.0.1)
+  //
+  // This should have been removed in v3 with the dropping of `.nav-list`, but
+  // we missed it. We don't currently support this anywhere, but in the interest
+  // of maintaining backward compatibility in case you use it, it's deprecated.
   .nav-divider {
     .nav-divider();
   }
 
   // Prevent IE8 from misplacing imgs
+  //
   // See https://github.com/h5bp/html5-boilerplate/issues/984#issuecomment-3985989
   > li > a > img {
     max-width: none;