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

#105 MappedColumn #152

Merged

rultor merged 1 commit into master from mmr

Mar 25, 2018

Owner

vssekorin commented Mar 25, 2018

As per #105
MappedColumn introduced.


          #105 MappedColumn

2e67ae3

Owner Author

vssekorin commented Mar 25, 2018

Collaborator

rultor commented Mar 25, 2018

@rultor merge

@vssekorin OK, I'll try to merge now. You can check the progress of the merge here

rultor merged commit 2e67ae3 into master

Collaborator

rultor commented Mar 25, 2018

@rultor merge

@vssekorin Done! FYI, the full log is here (took me 9min)

vssekorin deleted the mmr branch

March 25, 2018 06:43

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment