Skip to content
This repository has been archived by the owner on Jan 14, 2024. It is now read-only.

A few random patches #85

Merged
merged 4 commits into from
Apr 6, 2017
Merged

A few random patches #85

merged 4 commits into from
Apr 6, 2017

Conversation

horazont
Copy link
Owner

@horazont horazont commented Apr 6, 2017

I broke those out of #70 and they are self-contained each.

@horazont horazont added bug Outright bug: e.g. violation of specs, crashes, behaviour contrary to documentation, …. enhancement Improve functionality: e.g. extend existing features, add new features, refactoring, … labels Apr 6, 2017
@horazont horazont added this to the v0.9 milestone Apr 6, 2017
Copy link
Collaborator

@sebastianriese sebastianriese left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

All changes look good.

@horazont horazont merged commit 24a04f3 into devel Apr 6, 2017
@horazont horazont deleted the feature/random-patches branch April 6, 2017 15:37
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug Outright bug: e.g. violation of specs, crashes, behaviour contrary to documentation, …. enhancement Improve functionality: e.g. extend existing features, add new features, refactoring, …
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants