Skip to content

Commit

Permalink
Merge branch 'maint'
Browse files Browse the repository at this point in the history
* maint:
  Update patch solve forward merge version
  • Loading branch information
rickard-green committed Nov 28, 2018
2 parents 7121506 + 7048753 commit d5a72ec
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion make/otp_patch_solve_forward_merge_version
@@ -1 +1 @@
4
5

0 comments on commit d5a72ec

Please sign in to comment.