From 55e482d02d1fd67a526860c6279020551ab27dc9 Mon Sep 17 00:00:00 2001
From: mustafapc19 <mustafa010199@gmail.com>
Date: Tue, 28 Jul 2020 20:08:45 +0530
Subject: [PATCH] Synced with master

---
 .gdb_history           | 2 ++
 peda-session-servo.txt | 1 +
 2 files changed, 3 insertions(+)
 create mode 100644 .gdb_history
 create mode 100644 peda-session-servo.txt

diff --git a/.gdb_history b/.gdb_history
new file mode 100644
index 00000000000..a6a9320e202
--- /dev/null
+++ b/.gdb_history
@@ -0,0 +1,2 @@
+r http://mozilla.org --devtools 6000
+q
diff --git a/peda-session-servo.txt b/peda-session-servo.txt
new file mode 100644
index 00000000000..8b137891791
--- /dev/null
+++ b/peda-session-servo.txt
@@ -0,0 +1 @@
+