Fix history namespace collision
authorClifford Wolf <clifford@clifford.at>
Tue, 20 Jun 2017 03:26:12 +0000 (05:26 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 20 Jun 2017 03:26:12 +0000 (05:26 +0200)
commit1f517d2b96eb114f156317fb104ec7fc4d3abccc
treea115fe48c640240530bee5ac41ec219e65ae46d2
parentc0ca99483c1c0966305ced16a9a7e00e4c5ecce0
Fix history namespace collision
kernel/driver.cc