a735975461
Signed-off-by: Adrien Destugues <pulkomandy@pulkomandy.tk> Fixes #12328. Fixed a style error (2 lines between functions).