[release] Can I push a bug fix?
 
            
            
            
            
                1 Sep
                
                    2016
                
            
            
                1 Sep
                
                '16
                
            
            
            
        
    
                10:06 p.m.
            
        Hi all, Do I need permission now to push a bug fix to master? I intend to put this fix: https://github.com/boostorg/optional/commit/5d5d1f46baac851c8ec0ca15059d3e77... Regards, &rzej;
 
            
            
            
            
                2 Sep
                
            
            
                2 Sep
                
            
            
            
        
    
                1:02 a.m.
            
        On Thu, Sep 1, 2016 at 3:06 PM, Andrzej Krzemienski <akrzemi1@gmail.com> wrote:
Hi all, Do I need permission now to push a bug fix to master? I intend to put this fix: https://github.com/boostorg/optional/commit/5d5d1f46baac851c8ec0ca15059d3e 773585a17e
No permission needed. -- -- Rene Rivera -- Grafik - Don't Assume Anything -- Robot Dreams - http://robot-dreams.net -- rrivera/acm.org (msn) - grafikrobot/aim,yahoo,skype,efnet,gmail
        3347
        
      
          Age (days ago)
        
      
        3347
        
    
          Last active (days ago)
        
        
        
        1 comments
    
    
        
        2 participants
    
    
    
    
    
    
    
    
    participants (2)
- 
                 Andrzej Krzemienski Andrzej Krzemienski
- 
                 Rene Rivera Rene Rivera