 
            
            
            
            
                27 Sep
                
                    2022
                
            
            
                27 Sep
                
                '22
                
            
            
            
        
    
                2:06 p.m.
            
        I'd like to take over maintainership of the dice and lambdabot packages so that I can take care of GHC 9 support (https://github.com/lambdabot/dice/pull/2 and https://github.com/lambdabot/lambdabot/pull/204). The GitHub repo has been inactive since November 2021. I have contacted the current maintainer on IRC, where he is active, but he hasn't answered. Cheers