jcupova / koji

Forked from koji 5 years ago
Clone

175ecb5 PR#3780: tagNotification: user_id is int when get_user is used

Merged and Committed by tkopecek a year ago
    PR#3780: tagNotification: user_id is int when get_user is used
    
    Merges #3780
    https://pagure.io/koji/pull-request/3780
    
    Fixes: #3779
    https://pagure.io/koji/issue/3779
    tagNotification: when user_id is not int, it uses dict in user_id
    
        
file modified
+1 -1