tree fc15c028bc82858131c8b5ea9211318d8824be5a
parent 99db0cd62f686eafa2914263d47e8c000d31e84e
parent b7898a803815aac47b72aa12f7d0b24abf698a05
author q3k <q3k@hackerspace.pl> 1598180787 +0000
committer Gerrit Code Review <gerrit@hackerspace.pl> 1598180787 +0000

Merge "devtools: fix sourcegraph"