The unified diff between revisions [88b6620e..] and [a1ac1b81..] is displayed below. It can also be downloaded as a raw diff.

#
#
# delete "common/src/traces.adb"
#