Skip to content

Instantly share code, notes, and snippets.

@alexbonhomme
Created September 12, 2017 13:31
Show Gist options
  • Save alexbonhomme/415ab5565fccc5cd22a7a63dfdf2f5a1 to your computer and use it in GitHub Desktop.
Save alexbonhomme/415ab5565fccc5cd22a7a63dfdf2f5a1 to your computer and use it in GitHub Desktop.
--- configure 2017-09-12 15:15:16.000000000 +0200
+++ configure12 2017-09-12 15:14:41.000000000 +0200
@@ -5005,7 +5005,7 @@
;;
- 9.0)
+ 12.1)
case clntsh in
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment