4edf00 stackdepot: rename pool_index to pool_index_plus_1 (git-fixes).

Authored and Committed by Oscar Salvador 3 weeks ago
    stackdepot: rename pool_index to pool_index_plus_1 (git-fixes).
    
        
file modified
+1 -0