bump CD revision once we are through with all cleanup

[kohlhase]

We should really do that, but not for every little cleanup step.

[JamesHDavenport]

Probably only the minor number for most things, though. James

…

Sent from my iPhone On 8 Oct 2017, at 08:53, "Michael Kohlhase" <notifications@github.com<mailto:notifications@github.com>> wrote: We should really do that, but not for every little cleanup step. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub<#31>, or mute the thread<https://github.com/notifications/unsubscribe-auth/AGvamUCPbWrfNeab5ADzTi5G5cp5vND8ks5sqH94gaJpZM4PxoCd>.

[kohlhase]

I think "revision" is the minor number, as opposed to "version".