This reverts commit dc0de05e10. As pointed out by @BKPepe and @arinc9 this was removed by 9df035b since it isn't needed. Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>
dc0de05e10
9df035b