v8.0.672
ee13e014 · release number bumped to 8.0.672 by export.pike ·