On Tue 10 Nov 2015 04:44:21 AM CET, Max Reitz wrote: > It is unused now, so we may just as well drop it. > > Signed-off-by: Max Reitz <[email protected]>
Reviewed-by: Alberto Garcia <[email protected]> Berto
On Tue 10 Nov 2015 04:44:21 AM CET, Max Reitz wrote: > It is unused now, so we may just as well drop it. > > Signed-off-by: Max Reitz <[email protected]>
Reviewed-by: Alberto Garcia <[email protected]> Berto