Publish a new release (dev build points to /ws that doesn't include a fix)

Publish a new release (dev build points to /ws that doesn't include a fix) #414