For some reason this untagged commit is the one referred to in the main repository; this might be a mistake, but we'll have to package it for now to follow upstream.
