Signed-off-by: Stefano Pigozzi <[email protected]>
Uses functionality that was added a month ago for exactly this purpose. Fixes #1237.