Disttag updated according to user's request
assigned to @geargyri
mentioned in commit 334932f4
merged