search

jpata / tthbb13

2 stars 5 forks source link

Dev merge #14

Closed gkasieczka closed 9 years ago

gkasieczka commented 9 years ago

As the merge seems to have been successful I propose to propagate this to "master"

jpata commented 9 years ago

Given that the tests were successful, I see no reason not to merge.