2 commits

Author	SHA1	Message	Date
Jeroen Domburg	68ef6723bb	Fix lib picking, revert non-workaround libs to whatever is in master to hopefully make later merging easier.	2017-05-16 14:12:07 +08:00
Jeroen Domburg	363e595c60	Do not forget to add files	2017-05-16 14:12:06 +08:00