Note for posterity that a particular template parameter is never used

dune/istl/basearray.hh

@@ -35,6 +35,10 @@ namespace Dune {
            Error checking: no error checking is provided normally.
            Setting the compile time switch DUNE_ISTL_WITH_CHECKING
            enables error checking.
+
+   \todo There shouldn't be an allocator argument here, because the array is 'unmanaged'.
+         And indeed, of the allocator, only its size_type is used.  Hence, the signature
+         of this class should be changed to <class B, int stype>
    */
   template<class B, class A=std::allocator<B> >
   class base_array_unmanaged