Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: server header (DSP-537) #1691

Merged
merged 4 commits into from Aug 18, 2020
Merged

fix: server header (DSP-537) #1691

merged 4 commits into from Aug 18, 2020

Commits on Aug 16, 2020

  1. test: check server header for expected structure

    @subotic
    subotic committed Aug 16, 2020
    Copy the full SHA
    510605e View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2020

  1. build: fix generating stamped version_info

    @subotic
    subotic committed Aug 17, 2020
    Copy the full SHA
    5416a39 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2020

  1. fix: server header

    @subotic
    subotic committed Aug 18, 2020
    Copy the full SHA
    a5494c8 View commit details
    Browse the repository at this point in the history

  2. chore: remove printlns

    @subotic
    subotic committed Aug 18, 2020
    Copy the full SHA
    1cfce15 View commit details
    Browse the repository at this point in the history