update externals

This commit is contained in:
badaix 2017-10-03 11:20:29 +02:00
parent 328d1f4f5e
commit 85fd89a9a9
2 changed files with 2 additions and 2 deletions

2
externals/aixlog vendored

@ -1 +1 @@
Subproject commit 7c0b178ba5f8e364f3e3a5b531006cbd5d993830
Subproject commit 2487902299dfc889a67e868cdc0af4ef04955c44

2
externals/popl vendored

@ -1 +1 @@
Subproject commit c0f309405f084baabf23e8c8b0b4b73b620d831c
Subproject commit df5a009b00a62053da7175576476555826efb228