Completed
Push — update_deps ( 95c2ea...532347 )
by Georg
20:07
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.76
▶   ± 0
Head
Georg Ehrke  
adjust makefile
1 more commit
Base
Georg Ehrke  
update dependencies