[crux-commits] ports/opt (3.2): Merge branch '3.1' into 3.2

25 Jul 2015


      commit 76ad1af7126d4b349d12f9fdf01f0be73d013bfa
Merge: aed2295 ff5b639
Author: Juergen Daubert <jue@jue.li>
Date:   Sat Jul 25 10:52:55 2015 +0200

    Merge branch '3.1' into 3.2

[crux-commits] ports/opt (3.2): Merge branch '3.1' into 3.2

crux＠crux.nu