[boost.random] Library maintenance
 
            
            
            
            
                25 Oct
                
                    2018
                
            
            
                25 Oct
                
                '18
                
            
            
            
        
    
                5:01 p.m.
            
        Random library has multiple PRs that hang for a long time already. Some of them address warnings that poisons its usage and maintenance of other libraries. Please consider placing Random under CMT. https://github.com/boostorg/random/pull/35 https://github.com/boostorg/random/pull/26 https://github.com/boostorg/random/pull/31
        2563
        
      
          Age (days ago)
        
      
        2563
        
    
          Last active (days ago)
        
        
        
        0 comments
    
    
        
        1 participants
    
    
    
    
    
    
    
    
    participants (1)
- 
                 Nikita Kniazev Nikita Kniazev