System Library: added push_back, push_front, pop_back, pop_front to Vector
Authored by: madelmann 2020-01-12
Parent: [r2604]
Child: [r2606]