85d08ad Fix patch mixup

Authored and Committed by eclipseo 3 years ago
    Fix patch mixup
    
    Signed-off-by: Robert-André Mauchin <zebob.m@gmail.com>