By strengthening an edge-decomposition technique for gracefully labelling a generalised Petersen graph, we provide graceful labellings for a new infinite family of such graphs. The method seems flexible enough to provide graceful labellings for many other classes of graphs in the future
