Stop daily bumps on autovect-branch?

[Steven Bosscher]

Hi,

No changes were checked in on the autovect-branch in the last ~15
months, but the branch still gets a daily bump on DATESTAMP.

Perhaps time to stop doing that?

Gr.
Steven