Move to new upstream version, or pinned upstream git commit, of derive_builder
!391 (merged) moves us to a pinned commitid of a branch in my github namespace (@ijackson
). I will take measures to make sure that commitid doesn't get GC'd by github, but when the changes make it into an upstream branch or version we should be using that instead.
#371 (closed) is going to need another new feature in derive_builder, which I am currently working on, so we may not want to do the pinning change right away.