[tor/release-0.3.5] Merge remote-tracking branch 'tor-github/pr/1271' into maint-0.3.5
 
            
            
            
            
                5 Sep
                
                    2019
                
            
            
                5 Sep
                
                '19
                
            
            
            
        
    
                6:49 a.m.
            
        commit 04618371497bd5040d3af3e6fd782c361a7ba3a5 Merge: 1132dc9f7 664d1b436 Author: teor <teor@torproject.org> Date: Thu Sep 5 14:47:34 2019 +1000 Merge remote-tracking branch 'tor-github/pr/1271' into maint-0.3.5 Makefile.am | 2 +- changes/ticket31554 | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-)
        2242
        
      
          Age (days ago)
        
      
        2242
        
    
          Last active (days ago)
        
        
        
        0 comments
    
    
        
        1 participants
    
    
    
    
    
    
    
    
    participants (1)
- 
                 teor@torproject.org teor@torproject.org