Build #540 (03.12.2017 19:58:16)

1. add HaveSavedInteger (commit: d79c111) (detail / githubweb)

Started by remote host 192.30.252.45 with note: null

• refs/remotes/origin/master