Summary of changes: 8307998... Honour optflags, improve description (*) 17dd687... Fix changelog date (*) (*) This commit already existed in another branch; no separate mail sent